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

Dukung
€57.88
cara pembayaran
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format PDF ● ISBN 9783642156434 ● Editor Ahmed Bouajjani & Wei-Ngan Chin ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2010 ● Diunduh 3 kali ● Mata uang EUR ● ID 6321565 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

3,695 Ebooks dalam kategori ini