Get Free Shipping on orders over $49
Lecture Notes in Computer Science : 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings - Gidon Ernst
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings

By: Gidon Ernst (Editor), Kristin Yvonne Rozier (Editor)

Paperback | 3 December 2025

At a Glance

Paperback


$74.99

or 4 interest-free payments of $18.75 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.

The 9 full papers included in this book were carefully reviewed and selected from 20 submissions. They focus on topics related to formal verification for automated analysis of (concurrent) software/hardware, including model checking, deductive verification, automated theorem proving (including SAT and SMT
solving), abstraction and symbolic execution techniques, static analysis and abstract interpretation, modular and compositional verification techniques, verification of timed and probabilistic systems, automated testing using advanced analysis techniques, program synthesis, derivation of specifications and test cases via formal analysis, formal specification languages, temporal logic, design-by contract, formal analysis of learned systems, or any combination of these.

More in Computer Hardware

Cisco Networking All-in-One For Dummies - Edward Tetz

RRP $82.95

$60.75

27%
OFF
Microsoft Planner For Dummies - Jim Boyce

RRP $49.95

$38.75

22%
OFF
Woodworking : The Complete Step-by-Step Manual - DK

RRP $55.00

$42.75

22%
OFF
Steve Jobs : The Exclusive Biography - Walter Isaacson

RRP $24.99

$21.75

13%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Getting Started with 3D Printing : 2nd Edition - Liza Wallach Kloski

RRP $38.00

$30.40

20%
OFF
3D Printing For Dummies : For Dummies (Computer/Tech) - Richard Horne
Microsoft Excel 365 Bible : Bible - Michael Alexander

RRP $90.95

$65.75

28%
OFF
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
Samsung Galaxy Tabs For Dummies : For Dummies (Computer/Tech) - Dan Gookin
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
Build Your Own PC Do-It-Yourself For Dummies : For Dummies (Computer/Tech) - Mark L. Chambers
iPad For Seniors For Dummies : iPad for Seniors For Dummies - Dwight Spivey
Linux Device Drivers : O'Reilly Software Ser. - Jonathan Corbet

RRP $104.75

$83.80

20%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari