Skip to product information
Formal Methods for Hardware Verification
  • Formal Methods for Hardware Verification
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

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

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Programming and Software Engineering

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

Marco Bernardo | Alessandro Cimatti

Computers / Computer Science


Publication Date: 15 May 2006
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540343042
Format: Paperback softback
Page Count: 244

You may also like