Вы здесь
Compilation of Z Specification into C for Automatic Test Result Evaluation
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.167-180
Библиография:
Bibliogr.: p.179-180
Место издания:
Том:
967
Карточка:
Б3.54.
Mikk E..
Compilation of Z Specification into C for Automatic Test Result Evaluation-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.167-180-(Lecture Notes in Computer Science).
Bibliogr.: p.179-180
Таблица в старой библиотеке:
PAP13 99