Вы здесь

Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2006
Стр.: 
197 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
4313
Карточка: 

Б2.2, Б3.2, Б3.5.

Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004Ed. by Margaria T., Steffen B..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4313.-197 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO6 217