Вы здесь

Главная

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics

Автор: 
Weber S.
Bloom B.
Brown G.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
структурный
операционный
семантика
применение
доказательство
корректность
Стр.: 
P.639-659.
Библиография: 
Bibliogr.: p.657-659
Место издания: 
Berlin Et Al.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
666
Карточка: 

Б2.24, Б2.23.

Weber S., Bloom B., Brown G..

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics-Berlin Et Al..: Springer// Lecture Notes in Computer Science, 1993.-Vol. 666.-P.639-659.
Bibliogr.: p.657-659

Таблица в старой библиотеке: 
PAP6 25