کتاب های Thomas Kropf (eds.)
![Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings](http://cdn.ketabkoo.com/covers/0/86079-n.jpg)
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.), 1999![Introduction to Formal Hardware Verification](http://cdn.ketabkoo.com/covers/6/629853-n.jpg)