home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
Tell us the title, author
and / or ISBN number
*
Any other details such as author,
ISBN, title or genre. Please be specific
What is your email address?
*
Not a valid email address
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
> try searching in e-books
| 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 |
processing...
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,747.95
| on special |
normal price: R 1,942.95
This title will take longer to obtain, and should be delivered in 6-8 weeks
| read more |
| add to trolley |
processing...
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,111.95
| on special |
normal price: R 2,346.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock
| read more |
| add to trolley |
processing...
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,111.95
| on special |
normal price: R 2,346.95
Available from overseas. Usually dispatched in 14 days
| read more |
| add to trolley |
processing...
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Fifteen Dogs
André Alexis
Paperback / softback
176 pages
was: R 315.95
now: R 283.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.
| more |
| add to trolley |
processing...
The Memory Collectors: A Novel
Dete Meserve
Paperback / softback
320 pages
Enquiries only
| more |
| enquire |
processing...
The Ballerina and the Bull: Anarchist Utopias in the Age of Finance
Johanna Isaacson
Paperback / softback
288 pages
was: R 323.95
now: R 291.95
This title will take longer to obtain, and should be delivered in 6-8 weeks
Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.
| more |
| add to trolley |
processing...
Copyright 2025
|
terms and conditions
