Grid   List

  1. Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Flavio De Paoli
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book presents 8 tutorial lectures given by...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Tests and Proofs

    Tests and Proofs

    Sebastian Gabmeyer
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Einar Broch Johnsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Marco Aiello
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book presents 5 tutorial lectures given by...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift volume has been published in h...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Integrated Formal Methods

    Integrated Formal Methods

    Einar Broch Johnsen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. The Logic of Software. A Tasting Menu of Formal Methods

    The Logic of Software. A Tasting Menu of Formal Methods

    Wolfgang Ahrendt
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Reiner Hähnle on...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  11. Active Object Languages: Current Research Trends

    Active Object Languages: Current Research Trends

    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Active Objects are a programming paradigm that ...

    69,54 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  12. 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...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga