Grid   List

  1. Foundations of Software Science and Computation Structures
    -0 %

    Foundations of Software Science and Computation Structures

    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,83 €

    Jetzt 3,82 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Principles of Model Checking
    -0 %

    Principles of Model Checking

    Christel Baier
    The MIT Press
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 280,50 €

    Jetzt 280,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. SOFSEM 2017: Theory and Practice of Computer Science
    -0 %

    SOFSEM 2017: Theory and Practice of Computer Science

    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,19 €

    Jetzt 57,18 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Validation of Stochastic Systems
    -0 %

    Validation of Stochastic Systems

    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. CONCUR 2006 - Concurrency Theory
    -0 %

    CONCUR 2006 - Concurrency Theory

    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 113,51 €

    Jetzt 113,50 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Formal Techniques for Distributed Objects, Components, and Systems
    -0 %

    Formal Techniques for Distributed Objects, Components, and Systems

    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,42 €

    Jetzt 57,41 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1