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

9781504128858

ISBN-10

1504128850

List Price

$208.00

Edition

1st Edition

Format

Paperback

Language

English

Pages

ix, 313 pages

Publisher

Springer

Published On

1998-11-14



View All Offers

Sort by:

empty cart

No Offers for this book


Bookstores.com relies on cookies to improve your experience.