Вы здесь
Extending W for Object-Z
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.276-295
Библиография:
Bibliogr.: p.294-295
Место издания:
Том:
967
Карточка:
Б2.33, Б2.24.
Smith G..
Extending W for Object-Z-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.276-295-(Lecture Notes in Computer Science).
Bibliogr.: p.294-295
Таблица в старой библиотеке:
PAP13 105