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

Support
€57.99
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783540343059 ● Editor Marco Bernardo & Alessandro Cimatti ● Publisher Springer Berlin Heidelberg ● Published 2006 ● Downloadable 3 times ● Currency EUR ● ID 6316917 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,501 Ebooks in this category