Вы здесь
Improving Software Tests using Z Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.152-166
Библиография:
Bibliogr.: p.165-166
Место издания:
Том:
967
Карточка:
Б3.54.
Horher H. -M..
Improving Software Tests using Z Specifications-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.152-166-(Lecture Notes in Computer Science).
Bibliogr.: p.165-166
Таблица в старой библиотеке:
PAP13 98