*Take $10 off when you spend $50+! Use code NEWYEAR10. Ends Mon 5 Jan. T&Cs apply.
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II - Ruzica Piskac

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

By: Ruzica Piskac (Editor), Zvonimir Rakamari? (Editor)

eBook | 21 July 2025

At a Glance

eBook

$0.00

Instant Digital Delivery to your Kobo Reader App

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.

The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions.

The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.

on

You Can Find This eBook In

Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceMathematical Theory of ComputationComputer Programming & Software DevelopmentSoftware EngineeringMathematics

More in Artificial Intelligence

AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

HBR Guide to Generative AI for Managers : HBR Guide - Elisa Farri

eBOOK

HBR Guide to Generative AI for Managers

HBR Guide

eBook

RRP $37.15

$29.99

19%
OFF
AI : The End of Human Race - Alex Wood

eBOOK

AI

The End of Human Race

eBook

$16.99

This product is categorised by