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. X-by-Construction Meets Intersymbolic AI: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IV

Tiziana Margaria
Paperback / softback, 291 pages
ISBN-13: 9783032401205
 13 Nov 2026
Readership Age:
computers / programming / software development 		Price: R 1 893.95
| on special |
normal price: R 1 993.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock

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, 457 pages
ISBN-13: 9783032401076
 10 Nov 2026
Readership Age:
computers / programming / software development 		Price: R 1 315.95
| on special |
normal price: R 1 384.95
Forthcoming

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, 225 pages
ISBN-13: 9783032401106
 10 Nov 2026
Readership Age:
computers / programming / software development 		Price: R 1 315.95
| on special |
normal price: R 1 384.95
Forthcoming

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, 333 pages
ISBN-13: 9783032401175
 9 Nov 2026
Readership Age:
computers / programming / software development 		Price: R 1 315.95
| on special |
normal price: R 1 384.95
Forthcoming

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, 292 pages
ISBN-13: 9783032401236
 4 Nov 2026
Readership Age:
computers / programming / software development 		Price: R 1 315.95
| on special |
normal price: R 1 384.95
Forthcoming
12345678
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

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.

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.
Copyright 2026 |  terms and conditions