mehr als bücher

Grid  List

  1. Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Erika Abraham
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  4. Integrated Formal Methods
    Integrated Formal Methods
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    85,59 €*
  5. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  6. Fundamentals of Software Engineering
    Fundamentals of Software Engineering
    Hossein Hojjat
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    58,84 €*
  7. Theoretical Aspects of Computing - ICTAC 2023
    Theoretical Aspects of Computing - ICTAC 2023
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    79,17 €*
  8. Runtime Verification
    Runtime Verification
    Erika Ábrahám
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    58,84 €*
  1. 1