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