Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Christel Baier
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 21st International Conference on Tools and Algorithm...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. SOFSEM 2017: Theory and Practice of Computer Science
    SOFSEM 2017: Theory and Practice of Computer Science
    Christel Baier
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Foundations of Software Science and Computation Structures
    Foundations of Software Science and Computation Structures
    Christel Baier
    Springer
    Taschenbuch
    BOD - 2 Tage

    Semantics.- Non-angelic Concurrent Game Semantics.- A Trace Semantics for System F Parametric Pol...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Luís Caires
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1