$15 off when you spend $100 with code SPRING15 at checkout* - T&Cs apply - Limited time only
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 I - Ruzica Piskac

Computer Aided Verification

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

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

Learning Under Algorithmic Conditions - Elizabeth de Freitas

eBOOK

Learning Under Algorithmic Conditions

eBook

RRP $49.16

$39.99

19%
OFF
HBR Guide to Generative AI for Teams : HBR Guide - Gabriele Rosani

eBOOK

HBR Guide to Generative AI for Teams

HBR Guide

eBook

RRP $32.25

$25.99

19%
OFF
The Pigeon Strategy - Hajrë Hyseni

eBOOK

The Pigeon Strategy

eBook

$14.99

This product is categorised by