Grid   List

  1. Lectures on Formal Methods and Performance Analysis

    Lectures on Formal Methods and Performance Analysis

    Ed Brinksma
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Traditionally, models and methods for the analy...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Computer Aided Verification

    Computer Aided Verification

    Ed Brinksma
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the con...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Ed Brinksma
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    93,08 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  4. Lectures on Formal Methods and Performance Analysis

    Lectures on Formal Methods and Performance Analysis

    Ed Brinksma
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Traditionally, models and methods for the analy...

    64,15 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Ed Brinksma
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book presents 12 revised refereed papers s...

    74,89 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Computer Aided Verification

    Computer Aided Verification

    Kim G. Larsen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the con...

    123,04 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga