Erweiterte Suche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems 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
    20.03.1997

    This book constitutes the refereed proceedings of the Third International Workshop on Tools and A...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis

    Lectures on Formal Methods and Performance Analysis

    Ed Brinksma
    Springer Berlin Heidelberg
    29.08.2001

    Traditionally, models and methods for the analysis of the functional correctness of reactive syst...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems 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
    23.11.1995

    This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Kim G. Larsen
    Springer Berlin Heidelberg
    19.07.2002

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1