Teruo Higashino & Kedar Namjoshi 
Automated Technology for Verification and Analysis [PDF ebook] 
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

поддержка
€57.76
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● ISBN 9783540755968 ● редактор Teruo Higashino & Kedar Namjoshi ● издатель Springer Berlin Heidelberg ● опубликованный 2007 ● Загружаемые 6 раз ● валюта EUR ● Код товара 6320328 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

74 471 Электронные книги в этой категории