Ahmed Bouajjani & Wei-Ngan Chin 
Automated Technology for Verification and Analysis [PDF ebook] 
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Supporto
€57.88
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato PDF ● ISBN 9783642156434 ● Editore Ahmed Bouajjani & Wei-Ngan Chin ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2010 ● Scaricabile 3 volte ● Moneta EUR ● ID 6321565 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

3.695 Ebook in questa categoria