Introduction to Formal Hardware Verification
von
Thomas Kropf
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-08477-5
ISBN-10: 3-642-08477-X
Springer
· 2010
Siehe auch:
1999
Gebundene Ausgabe
Introduction to Formal Hardware Verification