Gå direkt till innehållet
Advanced Formal Verification
Spara

Advanced Formal Verification

inbunden, 2004
Engelska
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice.
Upplaga
2004 ed.
ISBN
9781402077210
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2004-01-31
Sidor
250