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

Destek
€57.88
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● ISBN 9783642156434 ● Editör Ahmed Bouajjani & Wei-Ngan Chin ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2010 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6321565 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

3.655 Bu kategorideki e-kitaplar