Hoppa till sidans huvudinnehåll

Ed Brinksma – författare

Visar alla böcker från författaren .
4 produkter
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis, Häftad

Lectures on Formal Methods and Performance Analysis

First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

AvEd Brinksma,Holger Hermannsm. fl.

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Ed Brinksma, Kim G. Larsen - Computer Aided Verification, Häftad

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

AvEd Brinksma,Kim G. Larsen

Häftad, Engelska, 2002

1 439 kr

Skickas inom 10-15 vardagar

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

AvEd Brinksma,W. Rance Cleavelandm. fl.

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Ed Brinksma - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

AvEd Brinksma

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar