Filter By
Books (4)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Introduction to Formal Hardware Verification by Thomas Kropf 9783540654452
Booksplease Price: £46.58This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams,... -
Introduction to Formal Hardware Verification by Thomas Kropf 9783642084775
Booksplease Price: £46.28This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams,... -
Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf 9783540634751
Booksplease Price: £46.58This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into... -
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings by Yves Bertot 9783540664635
Booksplease Price: £46.28This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17,...