Current Trends in Hardware Verification and Automated Theorem Proving
Published on 31. December 1989
Book
Hardback
X, 489 pages
978-3-540-96988-4 (ISBN)
Unfortunately, price unknown
Article is exhausted; no reprint
More details
Language
English
Place of publication
Berlin
Germany
Target group
College/higher education
Professional and scholarly
Illustrations
95 figs.
Weight
880 gr
ISBN-13
978-3-540-96988-4 (9783540969884)