Advanced Formal Verification
Автор
Rolf Drechsler
Год
2004
Страниц
276
ISBN
ISBN10:1402025300
Издатель
Kluwer
Описание: