| 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 741.95
| on special |
normal price: R 1 832.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 153.95
| on special |
normal price: R 2 267.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 153.95
| on special |
normal price: R 2 267.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

| more |

| add to trolley |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |