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

My Wish Lists Login / Join

Results for author 'Marieke Huisman'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

1

Science

1

lists

All Books

2

availability

All Books

2

price

$50 - $100

2

formats

Paperbacks

2

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I - Dirk, Ph. D. Beyer

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Dirk, Ph. D. Beyer and Marieke Huisman

Paperback

$84.99

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â"11, 2019, Proceedings, Part III - Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â"11, 2019, Proceedings, Part III

Bernhard Steffen, Marieke Huisman, Fabrice Kordon and Dirk, Ph. D. Beyer

Paperback

$84.99

2 Results