Вы здесь
FME 2001: Formal Methods for Increasing Software Productivity: Proc./Intern. Symp. of Formal Methods Europe, Berlin, Germany, March 2001
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2001
Ключевые слова:
Стр.:
629 p.
Редактор:
Место издания:
Издательство:
Том:
2021
Карточка:
Б2.2, Б3.5, В4.1.
FME 2001: Formal Methods for Increasing Software Productivity: Proc./Intern. Symp. of Formal Methods Europe, Berlin, Germany, March 2001Ed. by Oliveira J. N., Zave P..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2021.-629 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO3 520