Get Free Shipping on orders over $79
Lecture Notes in Computer Science : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I - Ruzica Piskac

Lecture Notes in Computer Science

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

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

Paperback | 25 August 2025

At a Glance

Paperback


$64.56

or 4 interest-free payments of $16.14 with

 or 

Ships in 5 to 7 business days

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. 

More in Software Engineering

Prompt Cartography : Interactive Web Map Design with LLMs - Ian  Muehlenhaus
The Essence of Software Engineering - Cersei Page
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari