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

Supporto
€57.76
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato PDF ● ISBN 9783540755968 ● Editore Teruo Higashino & Kedar Namjoshi ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2007 ● Scaricabile 6 volte ● Moneta EUR ● ID 6320328 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

74.471 Ebook in questa categoria