Erweiterte Suche

Grid  List

  1. Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures

    Foundations of Software Science and Computation Structures

    Ugo Dal Lago
    Springer International Publishing, Springer International Publishing
    14.04.2018

    This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Validation of Stochastic Systems Validation of Stochastic Systems

    Validation of Stochastic Systems

    Christel Baier
    Springer Berlin Heidelberg
    11.08.2004

    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Luís Caires
    Springer International Publishing, Springer International Publishing
    30.05.2018

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science

    SOFSEM 2017: Theory and Practice of Computer Science

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    11.01.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Cesare Tinelli
    Springer Berlin Heidelberg
    08.04.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Principles of Model Checking Principles of Model Checking

    Principles of Model Checking

    Christel Baier
    MIT Press Ltd
    25.04.2008

    A comprehensive introduction to the foundations of model checking, a fully automated technique fo...

    Gebunden
    134,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. CONCUR 2006 - Concurrency Theory CONCUR 2006 - Concurrency Theory

    CONCUR 2006 - Concurrency Theory

    Christel Baier
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1