Вы здесь
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