Rajeev Alur & Doron A. Peled 
Computer Aided Verification [PDF ebook] 
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Підтримка
€115.25
методи оплати
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● ISBN 9783540278139 ● Редактор Rajeev Alur & Doron A. Peled ● Видавець Springer Berlin Heidelberg ● Опубліковано 2004 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 5780033 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM

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

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