Вы здесь

FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.I

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
1999
Ключевые слова: 
Стр.: 
937 p.
Место издания: 
Издательство: 
Том: 
1708
Карточка: 

Б2.2, Б3.5, Б2.1, Б3.1.

FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.IEd. by Wing J. M., Woodcock J., Davies J..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1708.-937 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO2 960