Introduction to Formal Hardware Verification

Verification

von Thomas Kropf

Taschenbuch

ISBN: 978-3-642-08477-5

ISBN-10: 3-642-08477-X

Springer · 2010

Siehe auch:
1999Gebundene AusgabeIntroduction to Formal Hardware Verification