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

Dukung
€57.76
cara pembayaran
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format PDF ● ISBN 9783540755968 ● Editor Teruo Higashino & Kedar Namjoshi ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2007 ● Diunduh 6 kali ● Mata uang EUR ● ID 6320328 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

74,618 Ebooks dalam kategori ini