Bookshelf
| can't find it |

| browse 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 5,610.95
| on special |
normal price: R 5,906.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
Paperback / softback, 248 pages
ISBN-13: 9783031301698
26 Jul 2024
Readership Age:
Price: R 2,604.95
| on special |
normal price: R 2,741.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,550.95
| on special |
normal price: R 2,685.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,137.95
| on special |
normal price: R 2,250.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,887.95
| on special |
normal price: R 4,091.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 |

The Ballerina and the Bull: Anarchist Utopias in the Age of Finance

Johanna Isaacson
Paperback / softback
288 pages
was: R 306.95
now: R 275.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.

Bonsai Success in Southern Africa

Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
Stock is usually dispatched in 6-12 days from date of order

In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.

Fifteen Dogs

André Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.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.