Introduction to Formal Hardware Verification
von
Thomas Kropf
Gebunden
Details (
Deutschland
)
ISBN-13: 978-3-540-65445-2
ISBN-10: 3-540-65445-3
Springer
· 1999
S. auch:
2010
Taschenbuch
Introduction to Formal Hardware Verification