Gerard Berry & Hubert Comon 
Computer Aided Verification [PDF ebook] 
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Підтримка
€115.37
методи оплати
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● ISBN 9783540445852 ● Редактор Gerard Berry & Hubert Comon ● Видавець Springer Berlin Heidelberg ● Опубліковано 2003 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6318187 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

16 637 Електронні книги в цій категорі