Вы здесь
Z Browser - Tool for Visualisation of Z Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.510-523
Библиография:
Bibliogr.: p.522-523
Место издания:
Том:
967
Карточка:
Б3.5, Б4.55.
Mikusiak L., Vojtek V..
Z Browser - Tool for Visualisation of Z Specifications-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.510-523-(Lecture Notes in Computer Science).
Bibliogr.: p.522-523
Таблица в старой библиотеке:
PAP13 117