Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Ed Brinksma'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

1

Science

1

lists

All Books

2

availability

All Books

2

price

Over $100

2

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Ed Brinksma

Computer Aided Verification

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

Ed Brinksma and Kim G. Larsen

Paperback

$169.00

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 - Ed Brinksma

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

Ed Brinksma, Holger Hermanns and Joost-Pieter Katoen

Paperback

$134.75

2 Results