Share
correct hardware design and verification methods (in English)
$ 52.09
$ 54.99
You save: $ 2.90
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Tuesday, June 18 and
Wednesday, June 19.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "correct hardware design and verification methods (in English)"
this book constitutes the refereed proceedings of the 12th ifip wg 10.5 advanced research working conference on correct hardware design and verification methods, charme 2003, held in laquila, italy in october 2003. the 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. the papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
✓ Producto agregado correctamente al carro, Ir a Pagar.