Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen
    978-3-319-30734-3
    2016
    Edition 1
    • Contains refereed papers dedicated to Frank de Boer and to his work
    • Collects a number of papers by Frank's collaborators over the years presenting
    • a broad range of topics reflecting Frank's versatility
    • Addresses a large diversity of topics from formal methods and theoretical computer science, such as logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service level agreements
    • Includes supplementary material: sn.pub/extras

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