Erweiterte Suche

Grid  List

  1. 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
  2. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Luigia Petre
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.05.2013

    This book constitutes the refereed proceedings of the 10th International Conference on Integrated...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Multicore Programming Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen
    Springer International Publishing, Springer International Publishing
    19.05.2015

    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the In...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Executable Software Models Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    21.05.2014

    This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen
    Springer International Publishing, Springer International Publishing
    18.06.2017

    This book constitutes the refereed proceedings of the 11th International Conference on Tests and ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Einar Broch Johnsen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.05.2007

    This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Flavio De Paoli
    Springer International Publishing, Springer International Publishing
    01.09.2017

    This book constitutes the refereed proceedings of the 6 th IFIP WG 2.14 European Conference on Se...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Ina Schaefer
    Springer Nature Switzerland, Springer International Publishing
    30.05.2018

    This book constitutes the refereed proceedings of the 16th International Conference on Software E...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Marco Aiello
    Springer International Publishing, Springer International Publishing
    25.08.2016

    This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Manuel Wimmer
    Springer International Publishing, Springer International Publishing
    29.03.2022

    This open access book constitutes the proceedings of the 25 sup thsupInternational Conference on ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods

    The Logic of Software. A Tasting Menu of Formal Methods

    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    16.06.2022

    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends

    Active Object Languages: Current Research Trends

    Frank de Boer
    Springer Nature Switzerland, Springer International Publishing
    29.01.2024

    Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1