Erweiterte Suche

Grid  List

  1. At The Pinnacle At The Pinnacle

    At The Pinnacle

    Erika Abraham
    Second Chance Publishing
    01.05.2018

    'Go for it, Mom!' With those words of encouragement, Erika Abraham began a long running journey d...

    Taschenbuch
    14,70 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theory and Practice of Formal Methods Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    Erika Ábrahám
    Springer International Publishing, Springer International Publishing
    13.03.2016

    This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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

    Klaus Havelund
    Springer Berlin Heidelberg
    11.03.2014

    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...

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

    Formal Techniques for Distributed Objects, Components, and Systems

    Catuscia Palamidessi
    Springer Berlin Heidelberg
    21.05.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    24.05.2016

    This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Quantitative Evaluation of Systems Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Marco Paolieri
    Springer International Publishing, Springer International Publishing
    11.09.2022

    This book constitutes the proceedings of the 19th International Conference on Quantitative Evalua...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Fundamentals of Software Engineering Fundamentals of Software Engineering

    Fundamentals of Software Engineering

    Erika Ábrahám
    Springer Nature Switzerland, Springer Nature Switzerland
    30.08.2023

    This book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Theoretical Aspects of Computing ¿ ICTAC 2023 Theoretical Aspects of Computing ¿ ICTAC 2023

    Theoretical Aspects of Computing ¿ ICTAC 2023

    Erika Ábrahám
    Springer Nature Switzerland, Springer International Publishing
    23.11.2023

    This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Runtime Verification Runtime Verification

    Runtime Verification

    Houssam Abbas
    Springer Nature Switzerland, Springer Nature Switzerland
    12.10.2024

    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1