Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
SKU: 2797970
Price: 157.00 NZD
Availability: InStock

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$157.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 7-19 June using International Courier

Description

This book constitutes the refereed proceedings of the 11th IFIP WG 10. 5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001. The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Release date NZ

August 27th, 2001

Audiences

Professional & Vocational
Technical / Manuals

Contributors

Edited by Tiziana Margaria
Edited by Tom Melham

Illustrations

XII, 488 p.

Pages

488

Series

Lecture Notes in Computer Science,

Dimensions

155x233x25

ISBN-13

9783540425410

Product ID

2797970

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Correct Hardware Design and Verification Methods

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*