Вы здесь

Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011

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

Б3.5, Б2.2.

Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011/Ed. by Beckert B., Domiani F., Gurov D..-Berlin.: Springer, 2012.-Vol. 7421.-251 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 511