Вы здесь

FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
1993
Стр.: 
689 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
670
Карточка: 

Б3.5, Б2, Б1.3.

FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993Ed. by Woodcock J.C. P., Larsen P. G..-Berlin Et Al..: Springer, 1993.-Vol. 670.-689 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO1 424