Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • A Deductive Approach
    Naijun Zhan; Shuling Wang; Hengjun Zhao
    978-3-319-47016-0
    2017
    Edition 1
    • Provides development of the method, from theories to implementations, and then to applications
    • Covers a broad range of topics, both theoretical and practical, including hybrid systems, deductive verification, Duration Calculus, dynamical systems, computer algebra, Simulink/Stateflow, Isabelle theorem prover, etc.
    • Uses 'hands-on' presentation of implementations and case studies from real industrial systems
    • Includes supplementary material: sn.pub/extras

    €220

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.