Вы здесь

Lessons from Using Z to Specify a Software Tool

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.15-23.
Библиография: 
Bibliogr.: p.23
Номер: 
1
Том: 
24
Карточка: 

Б3.5.

Neil M., Ostrolenk G., Tobin M., Southworth M..

Lessons from Using Z to Specify a Software Tool// IEEE Trans. on Software Engineering-1998, №1.-Vol. 24.-P.15-23.
Bibliogr.: p.23

Таблица в старой библиотеке: 
PAP17 802