Current Trends in Hardware Verification and Automated Theorem Proving - Hardcover

 
9783540969884: Current Trends in Hardware Verification and Automated Theorem Proving
Hardcover
ISBN 10: 3540969888 ISBN 13: 9783540969884
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989

This specific ISBN edition is currently not available.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1989
Language
English
ISBN 10 
3540969888
ISBN 13 
9783540969884
Binding
Hardcover
Number of pages
489

Other Popular Editions of the Same Title

9780387969886: Current Trends in Hardware Verification and Automated Theorem Proving: Workshop on Hardware Verification : Papers

Featured Edition

ISBN 10:  0387969888 ISBN 13:  9780387969886
Publisher: Springer-Verlag New York Inc., 1989
Hardcover