Applied Formal Verification
Книги на иностранных языках
→
На английском
→
Поступления 2006-2007гг
→
Разное
Автор
Douglas L. Perry, Harry Foster
Год
2005
Страниц
240
ISBN
007144372X
Издатель
Вектор
Категория
Разное
Описание: