| search results |

displaying 4 results for author search for 'Joost-Pieter Katoen'

Principles of Model Checking

Baier Christel Katoen Joost-Pieter
Book, 994 pages
ISBN-13: 9780262267564
14 May 2014
Readership Age:
No price available
computers / computer science

This book is currently unavailable. Enquire to check if we can source a used copy

| read more |

| enquire |

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Joost-Pieter Katoen
Paperback / softback, 391 pages
ISBN-13: 9783319682693
29 Sep 2017
Readership Age:
computers / computer science Price: R 1,718.95
| on special |
normal price: R 1,909.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Joost-Pieter Katoen
Paperback / softback, 560 pages
ISBN-13: 9783642232169
26 Aug 2011
Readership Age:
computers / programming / software development Price: R 2,082.95
| on special |
normal price: R 2,313.95

Usually dispatched in 3 to 4 weeks as supplier is out of stock

| read more |

| add to trolley |

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Joost-Pieter Katoen
Paperback / softback, 486 pages
ISBN-13: 9783540434191
20 Mar 2002
Readership Age:
computers / machine theory Price: R 2,082.95
| on special |
normal price: R 2,313.95