Ed Brinksma - Böcker

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

Lectures on Formal Methods and Performance Analysis

Av Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Ed Brinksma, Kim G. Larsen - Computer Aided Verification, Häftad
Del 2404 - Lecture Notes in Computer Science

Computer Aided Verification

Av Ed Brinksma, Kim G. Larsen

Häftad, Engelska, 2002

1 459 kr

Skickas inom 7-10 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
Del 1019 - Lecture Notes in Computer Science

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

739 kr

Skickas inom 7-10 vardagar
Ed Brinksma - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 1217 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Ed Brinksma

Häftad, Engelska, 1997

739 kr

Skickas inom 7-10 vardagar