Overview

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

ISBN-13

9780412813306

ISBN-10

0412813300

Weight

3.09 Pounds

Dimensions

6.14 x 0.75 x 9.21 In

List Price

$169.99

Edition

1st Edition

Format

Hardcover

Language

English

Pages

ix, 313 pages

Publisher

Springer

Published On

1997-10-31



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$197.44

 Free delivery by: 31 Mar 2026

Brand New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$197.44

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.