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 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,028.95
| on special |
normal price: R 3,365.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,291.95
| on special |
normal price: R 2,546.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,291.95
| on special |
normal price: R 2,546.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,718.95
| on special |
normal price: R 1,909.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,482.95
| on special |
normal price: R 2,758.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 |

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 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.
 
Copyright 2025 |  terms and conditions