Introduction to Formal Hardware Verification
by Thomas Kropf
ISBN 13: 9783540654452
Format: Hardcover (308 pages) Publisher: Springer Published: 16 Oct 1999
Save for later