Вы здесь

From Formal Models to Formally Based Methods: An Industrial Experience

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.79-113.
Библиография: 
Библиогр.: c.111-113
Номер: 
1
Том: 
8
Карточка: 

Б3.5, Б3.52, Б3.54.

Ciapessoni E., Coen-Porisini A., Crivelli E., Mandrioli D., Mirandola P., Morzenti A..

From Formal Models to Formally Based Methods: An Industrial Experience// ACM Trans. on Software Engineering and Methodology-1999, №1.-Vol. 8.-P.79-113.
Библиогр.: c.111-113

Таблица в старой библиотеке: 
ACM5 946