|
|
Sold Out
Book Categories |
| Preface | ||
| List of Contributors | 1 | |
| Symbolic Trajectory Evaluation | 3 | |
| Verification with Abstract State Machines Using MDGs | 79 | |
| Design Verification Using Synchronized Transitions | 114 | |
| Hardware Verification Using PVS | 156 | |
| Verifying VHDL Designs with COSPAN | 206 | |
| The C@S System | 248 | |
| App | The Common Book Examples | 330 |
| References | 349 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Robert Varady
reviewed Formal Hardware Verification, Vol. 128 on November 11, 2020 Formal Hardware Verification, Vol. 128
I am not sure who the audience for this book is. The beginning chapters are obviously geared toward beginners, but the later chapters are quite complex - a remarkable range for a book under 400 pages. The book does a very poor job clearly explaining advanced topics.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Formal Hardware Verification, Vol. 128
X
This Item is in Your Inventory
Formal Hardware Verification, Vol. 128
X
You must be logged in to review the productsX
X
X
Add Formal Hardware Verification, Vol. 128, This 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 tools and systems usable for the actual verification of no, Formal Hardware Verification, Vol. 128 to the inventory that you are selling on WonderClubX
X
Add Formal Hardware Verification, Vol. 128, This 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 tools and systems usable for the actual verification of no, Formal Hardware Verification, Vol. 128 to your collection on WonderClub |
