Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

> try searching in e-books

| search results |

displaying 10 results for author search for 'Marieke Huisman'
 

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman
Paperback / softback, 177 pages
ISBN-13: 9783031720437
 10 Sep 2024
Readership Age:
philosophy / logic 		Price: R 4,273.95
| on special |
normal price: R 4,748.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman
Paperback / softback, 248 pages
ISBN-13: 9783031301698
 26 Jul 2024
Readership Age:
Price: R 2,495.95
| on special |
normal price: R 2,773.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman
Hardback, 248 pages
ISBN-13: 9783031301667
 25 Jul 2023
Readership Age:
Price: R 2,530.95
| on special |
normal price: R 2,811.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

Marieke Huisman
Paperback / softback, 225 pages
ISBN-13: 9783031353543
 10 Jun 2023
Readership Age:
computers / programming / software development 		Price: R 2,136.95
| on special |
normal price: R 2,373.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman
Paperback / softback, 800 pages
ISBN-13: 9783030908690
 10 Nov 2021
Readership Age:
computers / programming / software development 		Price: R 3,884.95
| on special |
normal price: R 4,316.95
This title will take longer to obtain, and should be delivered in 6-8 weeks
12
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Living in a hut in 21st Century South Africa

Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 341.95
now: R 307.95
Available from overseas. Usually dispatched in 3 to 6 weeks
Let's stare the future down and, instead of fearing AI, become solutionists.

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 296.95
now: R 266.95
Available from overseas. Usually dispatched in 3 to 6 weeks

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only
 
Copyright 2025 |  terms and conditions