Вы здесь
FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.II
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1999
Ключевые слова:
Стр.:
937 p.
Редактор:
Место издания:
Издательство:
Том:
1709
Карточка:
Б2.2, Б3.5, Б2.1.
FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.IIEd. by Wing J. M., Woodcock J., Davies J..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1709.-937 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO2 953