Bookshelf
| can't find it |

| browse books |
books
 


> try searching in e-books

| search results |

displaying 36 results for author search for 'Tiziana Margaria'
 

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Tiziana Margaria
Paperback / softback, 406 pages
ISBN-13: 9783031753794
30 Oct 2024
Readership Age:
computers / programming / software development
Price: R 3,072.95
| on special |
normal price: R 3,413.95
Available from overseas. Usually dispatched in 14 days

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Tiziana Margaria
Paperback / softback, 370 pages
ISBN-13: 9783031751066
27 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2,330.95
| on special |
normal price: R 2,589.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Tiziana Margaria
Paperback / softback, 330 pages
ISBN-13: 9783031753862
26 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2,330.95
| on special |
normal price: R 2,589.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Tiziana Margaria
Paperback / softback, 210 pages
ISBN-13: 9783031753893
26 Oct 2024
Readership Age:
computers / programming / software development
Price: R 1,747.95
| on special |
normal price: R 1,942.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Tiziana Margaria
Paperback / softback, 428 pages
ISBN-13: 9783031737084
9 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2,525.95
| on special |
normal price: R 2,805.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

12345678
| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Everyday Stoicism: Ancient Solutions to Modern Day Problems from Marcus Aurelius and the Stoics

Gareth Southwell
Hardback
240 pages
was: R 360.95
now: R 324.95
Usually dispatched in 6-12 days

An accessible introduction to Stoic philosophy packed with inspirational quotes and practical ideas to help you live better.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only


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


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