Вы здесь

A Practical Approach to Software Engineering Using Z and the Refinement Calculus

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.79-88.
Библиография: 
Bibliogr.: p.87-88.
Источник: 
Номер: 
5
Том: 
18
Карточка: 

Б3.52.

Wood K. R..

A Practical Approach to Software Engineering Using Z and the Refinement Calculus// Software Engineering Notes-1993, №5.-Vol. 18.-P.79-88.
Bibliogr.: p.87-88.

Таблица в старой библиотеке: 
ACM3 556