-80%
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
Original price was: $54.99.$11.00Current price is: $11.00.
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
This is a digital product.
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 1st Edition is written by Marco Bernardo; Alessandro Cimatti and published by Springer. The Digital and eTextbook ISBNs for Formal Methods for Hardware Verification are 9783540343059, 3540343059 and the print ISBNs are 9783540343042, 3540343040.
Be the first to review “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”
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781118890868
Original price was: $76.65.$47.22Current price is: $47.22.
-38%
eText ISBN: 9781119298625
Original price was: $63.32.$39.01Current price is: $39.01.
-38%
eText ISBN: 9781466565043
Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9780735637887
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9780735642737
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637870
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781423209584
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781440336683
Original price was: $21.65.$13.34Current price is: $13.34.
Reviews
There are no reviews yet.