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-1-4471-7558-2
    2026
    Edition 2
    • Covers program verification techniques, including Hoare logic, verification conditions, and contract-based reasoning
    • Focuses on real-world programming languages and tools for modern software development
    • Provides practical guidance on using tools like Frama-C/WP for verifying C programs

    €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.