Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; Ernst-Rüdiger Olderog
    978-1-84882-745-5
    2009
    Edition 3
    • Deals with the verification of programs allowing dynamic process creation
    • Includes four new chapters on increasingly important aspects of programming
    • Contains many learning tools to aid the reader such as case studies, exercises, comprehensive references/further reading and helpful appendices

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