Вы здесь

The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.77-80.
Библиография: 
Bibliogr.: p.80.
Источник: 
Номер: 
9
Том: 
29
Карточка: 

Б3.52, Б3.53.

Elmstrom R., Larsen P. G., Lassen P. B..

The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications// SIGPLAN Notices-1994, №9.-Vol. 29.-P.77-80.
Bibliogr.: p.80.

Таблица в старой библиотеке: 
ACM4 873