Вы здесь
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.434-448
Библиография:
Bibliogr.: p.448
Место издания:
Том:
967
Карточка:
Б3.5.
France R. B., Larrondo-Petrie M. M..
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.434-448-(Lecture Notes in Computer Science).
Bibliogr.: p.448
Таблица в старой библиотеке:
PAP13 112