Вы здесь
Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, Italy
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2012
Стр.:
183 p.
Место издания:
Издательство:
Том:
7682
Карточка:
Б3.5, Б2.2.
Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, ItalyEd. by Meyer B., Nordio M..-Berlin.: Springer, 2012.-Vol. 7682.-183 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO9 786