Formal Methods for Hardware Verification
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
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Marco Bernardo
Themen in »Formal Methods for Hardware Verification«
Automat communication formal method model checking theorem proving verification
Stimmen zu »Formal Methods for Hardware Verification«
Details
ISBN: 9783540343042
Verlag: Springer Berlin
Erscheinung: 15.05.2006