Marco Bernardo & Alessandro Cimatti 
Formal Methods for Hardware Verification [PDF ebook] 
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Dukung
€57.99
cara pembayaran
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format PDF ● ISBN 9783540343059 ● Editor Marco Bernardo & Alessandro Cimatti ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2006 ● Diunduh 3 kali ● Mata uang EUR ● ID 6316917 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

16,580 Ebooks dalam kategori ini