Correct Hardware Design and Verification Methods: 11th IFIP WG...

Buy Correct Hardware Design and Verification Methods: 11th IFIP WG... here, one of many Flash 5 books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Flash 5 > Item 593

	Correct Hardware Design and Verification Methods: 11th IFIP WG...
	by Tiziana Margaria and Tom Melham Sales Rank: 4595318	$82.95 At Amazon on 9-27-2008.

*Features* Cover Type: Paperback with 482 pages Published by: Springer Edition: 1st Edition October 2, 2001 Written in: English ISBN 10 Number: 3540425411 ISBN 13 Number: 978-3540425410 Book Dimensions: 9.3 x 6.1 x 1.1 inches Weighs: 1.7 pounds *Product 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. Back To Top
Correct Hardware Design and Verification Methods: 11th IFIP WG... ~~List Price: $82.95~~ Available from Amazon Price: $82.95 Updated on 9-27-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Correct Hardware Design and Verification Methods: 11th IFIP WG... and other related Flash 5 Books here at Rbookshop.com. To view more books about Flash 5 please use the previous and next buttons near the top of this page.