| 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 |

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 |

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 |

| 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 |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming

| more |

| add to trolley |

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 |

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 |