Вы здесь

Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1990
Стр.: 
31 p.
Библиография: 
Bibliogr.: p.21-24
Место издания: 
Карточка: 

Б3.5.

Bjorner D., Haxthausen A. E., Havelund K..

Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS-Lyngby., 1990.-31 p.
Bibliogr.: p.21-24

Таблица в старой библиотеке: 
PAP20 67