Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Theory, Fundamentals and Industry Applications
    Gerard O'Regan
    978-3-319-64021-1
    2017
    Edition 1
    • Presents a broad and concise account of formal methods, covering both theory and applications
    • Discusses a selection of formal methods and tools to support formal methods
    • Introduces the fundamental concepts in software reliability and dependability engineering, prepositional and predicate logic, model checking, and proof and theorem provers
    • Describes advanced topics in logic such as fuzzy logic, undefined values, temporal logic and intuitionist logic
    • 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.