Interpreter Verification for a Functional Language

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

Стр.:

P.77-88.

Библиография:

Bibliogr.: p.88.

Издательство:

Источник:

Том:

880

Карточка:

Б2.23, Б2.24.

Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B..

Interpreter Verification for a Functional Language: Springer// Lecture Notes in Computer Science-1994.-Vol. 880.-P.77-88.
Bibliogr.: p.88.

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

PAP10 675