Skip to main content

License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • David S. Hardin
    978-1-4419-1539-9
    2010
    Edition 1
    • Offers practical case studies of the successful application of formal methods at several different levels of microprocessor system design
    • Discusses high-robustness design techniques that support formal verification
    • Shows how 'Design for Verification' can become 'Design With Verification'
    • Features chapters written by practitioners who have achieved the highest assurance Evaluation Assurance Level (EAL) certifications defined by the Common Criteria
    • Includes supplementary material: sn.pub/extras
    €200 €180
    10% OFF

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.