Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply

My Wish Lists Login / Join

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

Format
ePUB

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-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Mathematics

More in Artificial Intelligence

Love and Sex with Robots : The Evolution of Human-Robot Relationships - David Levy

eBOOK

Love and Sex with Robots

The Evolution of Human-Robot Relationships

eBook

RRP $25.99

$20.99

19%
OFF

Bill Gates : The Path to the Future - Jonathan Gatlin

eBOOK

Bill Gates

The Path to the Future

eBook

$4.99

Stop Whining--and Start Winning : Recharging People, Re-Igniting Passion, and PUMPING UP Profits - Frank Pacetta

eBOOK

Stop Whining--and Start Winning

Recharging People, Re-Igniting Passion, and PUMPING UP Profits

eBook

$8.99

The Unfinished Revolution : How to Make Technology Work for Us--Instead of the Other Way Around - Michael L. Dertouzos

eBOOK

The Unfinished Revolution

How to Make Technology Work for Us--Instead of the Other Way Around

eBook

$23.99

AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

Explainable Artificial Intelligence in Medical Imaging : Fundamentals and Applications - Amjad Rehman Khan

eBOOK

Explainable Artificial Intelligence in Medical Imaging

Fundamentals and Applications

eBook

$196.99

Connected Health Insights for Sustainable Development : Integrating IoT, AI, and Data-Driven Solutions - Shama Siddiqui

eBOOK

Connected Health Insights for Sustainable Development

Integrating IoT, AI, and Data-Driven Solutions

eBook

RRP $189.00

$170.99

10%
OFF

The New Tech Titans of China : How China's Tech Sector is Challenging the World by Innovating Faster, Working Harder & Going Global - Rebecca Fannin

eBOOK

The New Tech Titans of China

How China's Tech Sector is Challenging the World by Innovating Faster, Working Harder & Going Global

eBook

$16.99

AI-driven Cyber Risk Management : River Publishers Series in Digital Security and Forensics - Hooman Razavi

eBOOK

AI-driven Cyber Risk Management

River Publishers Series in Digital Security and Forensics

eBook

$237.99

The Compass - Bob Pearson

eBOOK

The Compass

eBook

RRP $20.89

$19.99

How to Solve the World's Problems with ChatGPT - Pearci PJ Bastiany

eBOOK

How to Solve the World's Problems with ChatGPT

eBook

RRP $13.19

$12.99

Future Proof : Transform your Business with AI (or Get Left Behind) - Michael Gene Housman

eBOOK

Future Proof

Transform your Business with AI (or Get Left Behind)

eBook

RRP $16.49

$15.99

AI DEMYSTIFIED - BEYOND THE HYPE - Stevie J

eBOOK

AI DEMYSTIFIED - BEYOND THE HYPE

eBook

$8.99

Bridges of the Mind : Artificial Intelligence and Autism - A Journey to the Future - Dr. Amr Ahmed

eBOOK

Bridges of the Mind

Artificial Intelligence and Autism - A Journey to the Future

eBook

$14.99

Let's Talk Artificial Intelligence [AI] At The Kitchen Table - Dr. Benjamin Y. Anom

eBOOK

Let's Talk Artificial Intelligence [AI] At The Kitchen Table

eBook

$5.99

AI for Emo Musicians : Automating Your Sad Soundtracks - Matthew Petchinsky

eBOOK

AI for Emo Musicians

Automating Your Sad Soundtracks

eBook

RRP $13.19

$12.99

Human-Agent Manifesto - Ronald Myers

eBOOK

Human-Agent Manifesto

eBook

$14.99

AI: FIVE YEARS AHEAD: : How Entrepreneur's Build the Future Before Everyone Else Wakes Up - Robert J Moore

eBOOK

AI: FIVE YEARS AHEAD:

How Entrepreneur's Build the Future Before Everyone Else Wakes Up

eBook

RRP $13.19

$12.99

Coming of Age : Shared Intelligence - Steven Yates

eBOOK

Coming of Age

Shared Intelligence

eBook

RRP $16.49

$15.99

AI-Enhanced ELT : Innovative Strategies to Transform Your Classroom - Samaneh Eslamdoost

eBOOK

AI-Enhanced ELT

Innovative Strategies to Transform Your Classroom

eBook

RRP $57.60

$51.99

10%
OFF

AI-Assisted SDD : Spec-Driven Development with Gemini, Claude, and ai-sdd - LEONARDO SAMPAIO

eBOOK

AI-Assisted SDD

Spec-Driven Development with Gemini, Claude, and ai-sdd

eBook

$11.99

Observability in the AI-Native Era : Leveraging AIOps to build, observe, and operate resilient systems - Hilliary Lipsig

eBOOK

Observability in the AI-Native Era

Leveraging AIOps to build, observe, and operate resilient systems

eBook

RRP $64.89

$58.99

Handbook on Integrating Smart Technologies for Sustainable Development : Smart Technologies for Engineers and Scientists - Radhika Thapar

eTEXT

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

eText

$365.20

The Fourth Intelligence Revolution : The Future of Espionage and the Battle to Save America - Anthony Vinci

eBOOK

The Fourth Intelligence Revolution

The Future of Espionage and the Battle to Save America

eBook

RRP $36.76

$29.99

18%
OFF

This product is categorised by