*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. 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 selected as the best from 32 submissions for the Fi...

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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 of the Third International Workshop on Tools and A...

    93,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification
    Computer Aided Verification
    Kim G. Larsen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

    123,04 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  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 analysis of the functional correctness of reactive syst...

    64,15 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1