Formal Methods for Hardware Verification
Formal Methods for Hardware Verification PDF book is popular Computers book written by Marco Bernardo. The book was released by Springer Science & Business Media on 2006-05-15 with total hardcover pages 250. Fast download link is given in this page, you could read Formal Methods for Hardware Verification by Marco Bernardo in PDF, epub and kindle directly from your devices.
Formal Methods for Hardware Verification
-
Formal Methods for Hardware Verification Book Detail
- Author : Marco Bernardo
- Release Date : 2006-05-15
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 250
- ISBN 13 : 3540343040
- File Size : 1,1 MB