English
Paperback
₹4405
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author''s own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9780521115322
Publication Date
-07-02-2009
Pages
-180
Weight
-301 grams
Dimensions
-170x244x9.74 mm
