Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

> try searching in e-books

| search results |

displaying 37 results for author search for 'Tiziana Margaria'
 

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I

Tiziana Margaria
Paperback / softback
ISBN-13: 9783032401076
 24 Dec 2026
Readership Age:
computers / programming / software development 		Price: R 1 713.95
| on special |
normal price: R 1 904.95
Forthcoming. We are not accepting backorders for this item yet

Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II

Tiziana Margaria
Paperback / softback
ISBN-13: 9783032401106
 24 Dec 2026
Readership Age:
computers / programming / software development 		Price: R 1 713.95
| on special |
normal price: R 1 904.95
Forthcoming. We are not accepting backorders for this item yet

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III

Tiziana Margaria
Paperback / softback
ISBN-13: 9783032401175
 24 Dec 2026
Readership Age:
computers / programming / software development 		Price: R 1 713.95
| on special |
normal price: R 1 904.95
Forthcoming. We are not accepting backorders for this item yet

Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IV

Tiziana Margaria
Paperback / softback
ISBN-13: 9783032401205
 19 Dec 2026
Readership Age:
computers / programming / software development 		Price: R 1 713.95
| on special |
normal price: R 1 904.95
Forthcoming. We are not accepting backorders for this item yet

Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V

Tiziana Margaria
Paperback / softback
ISBN-13: 9783032401236
 19 Dec 2026
Readership Age:
computers / programming / software development 		Price: R 1 713.95
| on special |
normal price: R 1 904.95
Forthcoming. We are not accepting backorders for this item yet
12345678
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Dungeon Crawler Carl

Matt Dinniman
Paperback / softback
480 pages
was: R 507.95
now: R 446.95
Available from overseas. Usually dispatched in 14 days

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Remarkably Bright Creatures

Shelby Van Pelt
Paperback / softback
384 pages
was: R 507.95
now: R 456.95
Available from overseas. Usually dispatched in 14 days
Copyright 2026 |  terms and conditions