IFIP Advances in Information and Communication Technology

Hon Li; Probst, David

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.

Details

Published by: Springer

Publication Date: 1997-10-31

Format: Hardcover

ISBN-13: 9780412813306

DOI: 10.1007/978-0-387-35190-2

Dimensions: 235cm x155cm

Pages: 313