home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
| 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 3 results for author search for 'Reiner Hähnle'
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Reiner Hähnle
Paperback / softback, 446 pages
ISBN-13: 9783030167219
4 Apr 2019
Readership Age:
computers / programming / software development
Price: R 1 621.95
| on special |
normal price: R 1 707.95
This title will take longer to obtain, and should be delivered in 6-8 weeks
| read more |
| add to trolley |
processing...
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Reiner Hähnle
Paperback / softback, 261 pages
ISBN-13: 9783642347801
12 Oct 2012
Readership Age:
computers / artificial intelligence
Price: R 2 008.95
| on special |
normal price: R 2 114.95
Available from overseas. Usually dispatched in 14 days
| read more |
| add to trolley |
processing...
Automated Deduction in Multiple-Valued Logics
Reiner Hähnle
Hardback, 182 pages
ISBN-13: 9780198539896
6 Jan 1994
Readership Age:
No price available
mathematics / logic
This book is currently unavailable. Enquire to check if we can source a used copy
| read more |
| enquire |
processing...
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Theory & Practice
Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
| more |
| add to trolley |
processing...
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming
| more |
| add to trolley |
processing...
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| add to trolley |
processing...
Exiles: Times book of the month 'Stanley Kubrick meets MR James'
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.
| more |
| add to trolley |
processing...
Copyright 2026
|
terms and conditions