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

| book details |

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Edited by Marieke Huisman, Edited by Falk Howar

| on special |

normal price: R 4,748.95

Price: R 4,273.95

| book description |

​This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software. The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

| product details |



Normally shipped | This title will take longer to obtain, and should be delivered in 6-8 weeks
Publisher | Springer International Publishing AG
Published date | 10 Sep 2024
Language |
Format | Paperback / softback
Pages | 177
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0317-2043-7
Readership Age |
BISAC | philosophy / logic

| other options |



Normally shipped | Usually dispatched in 3 to 4 weeks as supplier is out of stock
Readership Age |
Normal Price | R 5,973.95
 Price | R 5,376.95 | on special |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

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

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

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 341.95
now: R 307.95
Available from overseas. Usually dispatched in 3 to 6 weeks
Let's stare the future down and, instead of fearing AI, become solutionists.
 
Copyright 2025 |  terms and conditions