Grid   List

  1. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The 9 regular papers presented in this volume w...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the Th...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the Th...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Tim Willemse
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 24...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Reachability Problems

    Reachability Problems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga