Grid   List

  1. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 12 revised lectures given by...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 19 revised invited keynote l...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Formal methods have been applied successfully t...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Formal methods have been applied successfully t...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Programming Concepts and Methods PROCOMET ’98

    Programming Concepts and Methods PROCOMET ’98

    David Gries
    Springer New York
    Ebook
    Sofort lieferbar

    This book constitutes the Proceedings of the IF...

    213,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. de Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Largeandcomplexsoftwaresystemsprovidethenecessa...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. de Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Formal methods have been applied successfully t...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Compositionality: The Significant Difference

    Compositionality: The Significant Difference

    Willem-Paul De Roever
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book originates from the International Sym...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Programming Concepts and Methods PROCOMET ¿98

    Programming Concepts and Methods PROCOMET ¿98

    Willem-Paul de Roever
    Springer US
    Taschenbuch
    Print on Demand

    This book constitutes the Proceedings of the IF...

    311,04 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Formal methods have been applied successfully t...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Concurrency Verification

    Concurrency Verification

    de Roever Willem-Paul
    Cambridge University Press
    Taschenbuch
    Print on Demand

    An advanced 2001 textbook on verification of co...

    131,20 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  12. Formal Techniques in Real-Time and Fault-Tolerant Systems

    Formal Techniques in Real-Time and Fault-Tolerant Systems

    Hans Langmaack
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume presents the proceedings of the Thi...

    139,09 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga