Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Core Components, Usages, and Applications
    Nikolai Kosmatov; Virgile Prevosto; Julien Signoles
    978-3-031-55608-1
    2024
    Edition 1
    • Provides a gentle, example-based introduction to software specification and verification
    • Offers a wide panorama of state-of-the-art specification and analysis techniques
    • Includes inspiring success stories of Frama-C deployment on industrial code

    €100

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.