Вы здесь
Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2006
Ключевые слова:
Стр.:
243 p.
Редактор:
Место издания:
Издательство:
Том:
3965
Карточка:
Б3.5, Б2.2.
Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006Ed. by Bernardo M., Cimatti A..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3965.-243 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO6 38