Вы здесь

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