Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • An Introduction to Program Verification
    José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa
    978-0-85729-018-2
    2011
    Edition 1
    • Self-contained, offering a concise introduction to formal methods together with an in-depth coverage of model-based and Hoare logic-based methods
    • Focuses on two approaches: the Coq proof assistant and the B suite, both of which have proved effective and relevant for industry
    • Includes exercises and solutions making it suitable as a course text and for self-study
    • Includes supplementary material: sn.pub/extras

    €419

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.