Bookshelf

| browse books |
books
 


> try searching in e-books

| search results |

displaying 6 results for author search for 'Wolfgang Schreiner'
 

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner
Hardback, 641 pages
ISBN-13: 9783031997044
30 Aug 2025
Readership Age:
mathematics / logic
Price: R 2 192.95
| on special |
normal price: R 2 307.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner
Paperback / softback, 271 pages
ISBN-13: 9783031249365
13 Apr 2024
Readership Age:
computers / computer science
Price: R 1 827.95
| on special |
normal price: R 1 923.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner
Hardback, 271 pages
ISBN-13: 9783031249334
12 Apr 2023
Readership Age:
computers / computer science
Price: R 2 375.95
| on special |
normal price: R 2 500.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner
Paperback / softback, 636 pages
ISBN-13: 9783030805098
24 Oct 2022
Readership Age:
mathematics / logic
Price: R 2 192.95
| on special |
normal price: R 2 307.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner
Hardback, 636 pages
ISBN-13: 9783030805067
23 Oct 2021
Readership Age:
mathematics / logic
Price: R 4 166.95
| on special |
normal price: R 4 386.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock

12
| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Frankenstein

Mary Shelley
Hardback
264 pages
was: R 355.95
now: R 312.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.

Leeward: A Times Historical Novel of the Year 2023

Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock


The Quality of Mercy

Siphiwe Gloria Ndlovu
Paperback / softback
384 pages
was: R 340.95
now: R 299.95
Stock is usually dispatched in 6-12 days from date of order

This is indeed a story of mercy and the redemption it offers.