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 132.95
| on special |
normal price: R 3 297.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 352.95
| on special |
normal price: R 2 476.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 764.95
| on special |
normal price: R 1 857.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 352.95
| on special |
normal price: R 2 476.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 548.95
| on special |
normal price: R 2 682.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 |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

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 Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks
Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).
 
Copyright 2025 |  terms and conditions