Вы здесь

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