Filtrera

Ämne
  • (6)
  • (1)
Format
  • (2)
  • (4)
Leveranstid
  • (2)

Ed Brinksma - Böcker

Visar alla böcker av Ed Brinksma. Handla med fri frakt och snabb leverans!

Sortering:

  1. Lectures on Formal Methods and Performance Analysis

    av Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

    Häftad, Engelska, 2001-08-01
    729
    Köp
    Skickas inom 10-15 vardagar.
    Lectures on Formal Methods and Performance Analysis

    Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulte...

    Läs mer »

  2. Computer Aided Verification

    av Ed Brinksma, Kim G Larsen

    Häftad, Engelska, 2002-07-01
    1559
    Köp
    Skickas inom 10-15 vardagar.
    Computer Aided Verification

    This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and pract...

    Läs mer »

  3. Lectures on Formal Methods and Performance Analysis E-bok

    av Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

    E-bok, Engelska, 2003-06-29
    649
    Ladda ned
    Laddas ned direkt
    Lectures on Formal Methods and Performance Analysis

    Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulte...

    Läs mer »

  4. Computer Aided Verification E-bok

    av Ed Brinksma, Kim G Larsen

    E-bok, Engelska, 2003-08-02
    1399
    Ladda ned
    Laddas ned direkt
    Computer Aided Verification

    This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and pract...

    Läs mer »

  5. Tools and Algorithms for the Construction and Analysis of Systems

    av Ed Brinksma, W Rance Cleaveland, Kim G Larsen, Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 1995-11-01
    949
    Köp
    Skickas inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The ...

    Läs mer »

  6. Tools and Algorithms for the Construction and Analysis of Systems

    av Ed Brinksma

    Häftad, Engelska, 1997-03-01
    1189
    Köp
    Skickas inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full...

    Läs mer »