Вы здесь
A Course on Formal Methods in Software Engineering: Matching Requirements with Design
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.482-496
Библиография:
Bibliogr.: p.495-496
Место издания:
Том:
967
Карточка:
В4.43.
Ciancarini P., Ciaccia P..
A Course on Formal Methods in Software Engineering: Matching Requirements with Design-Berlin, Heidelberg.// ZUM 95: The Z Formal Specification Notation, 1995.-Vol. 967.-P.482-496-(Lecture Notes in Computer Science).
Bibliogr.: p.495-496
Таблица в старой библиотеке:
PAP13 115