*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
    Erika Ábrahám
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Marco Aiello
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tests and Proofs
    Tests and Proofs
    Einar Broch Johnsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Multicore Programming
    Formal Methods for Multicore Programming
    Einar Broch Johnsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    52,06 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Open Object-Based Distributed Systems
    Formal Methods for Open Object-Based Distributed Systems
    Einar Broch Johnsen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Integrated Formal Methods
    Integrated Formal Methods
    Luigia Petre
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    66,34 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for Executable Software Models
    Formal Methods for Executable Software Models
    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Flavio De Paoli
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Ina Schaefer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Manuel Wimmer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 25th International Conference on Fundame...

    44,78 €
    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
    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    109,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Active Object Languages: Current Research Trends
    Active Object Languages: Current Research Trends
    Frank de Boer
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    70,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1