Вы здесь

Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015

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

Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015Ed. by Fischer B., Geldenhuys J..-Berlin.: Springer, 2015.-Vol. 9232.-319 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 437