Вы здесь
Using Z to Rigorously Review a Specification of a Network Management System
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.423-433
Библиография:
Bibliogr.: p.433
Место издания:
Том:
967
Карточка:
Б3.5.
Bryant T., Evans A., Semmens L., Milovanovic R., Stockman S., Norris M., Selley C..
Using Z to Rigorously Review a Specification of a Network Management System-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.423-433-(Lecture Notes in Computer Science).
Bibliogr.: p.433
Таблица в старой библиотеке:
PAP13 111