Вы здесь
FME 94: Industrial Benefit of Formal Methods: Proc./Second Intern. Symp. of Formal Methods Europe. Barcelona, Spain, October 1994
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1994
Ключевые слова:
Стр.:
723 p.
Редактор:
Место издания:
Издательство:
Том:
873
Карточка:
Б3.5, Б4.55, Б2.23, В4.
FME 94: Industrial Benefit of Formal Methods: Proc./Second Intern. Symp. of Formal Methods Europe. Barcelona, Spain, October 1994Ed. by Naftalin M., Denvir T., Bertran M..-Berlin, Heidelberg.: Springer, 1994.-Vol. 873.-723 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO1 735