| book details |

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings

Edited by Meenakshi DÂ´Souza, Edited by Raghavan Komondoor, Edited by B. Srivathsan

| on special |

normal price: R 3 709.95

Price: R 3 524.95

| add to trolley |

| book description |

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27â€“31, 2025. The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.Â

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

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

| more |

| add to trolley |

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).

| more |

| add to trolley |

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

| more |

| add to trolley |