Вы здесь

Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016

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

Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016Ed. by Chechik M., Raskin J. -F..-Berlin.: Springer, 2016.-Vol. 9636.-961 p.-(Lecture Notes in Computer Science).

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