Scan barcode
missing page info
ISBN/UID: 9780521656023
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: Not specified
Description
In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal tr...
Community Reviews Summary of 6 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
missing page info
ISBN/UID: 9780521656023
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: Not specified
Description
In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal tr...
Community Reviews Summary of 6 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.