Get Free Shipping on orders over $79
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I - Andre Platzer

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

By: Andre Platzer (Editor), Matteo Rossi (Editor), Matteo Pradella (Editor), Kristin Yvonne Rozier (Editor)

Paperback | 15 October 2024

At a Glance

Paperback


$64.56

or 4 interest-free payments of $16.14 with

 or 

Ships in 7 to 10 business days

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 



The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:



Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; 



Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. 



 



 



 



 

More in Computer Hardware

Troubleshooting PCs For Dummies : For Dummies (Computer/Tech) - Dan Gookin
Book of Making 2026 : Projects for Makers and Hackers - The Makers of Raspberry Pi Official magazine
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari
Getting Started with 3D Printing : 2nd Edition - Liza Wallach Kloski

RRP $38.00

$21.75

43%
OFF
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
Steve Jobs : The Exclusive Biography - Walter Isaacson

RRP $24.99

$21.75

13%
OFF
Build Your Own PC Do-It-Yourself For Dummies : For Dummies (Computer/Tech) - Mark L. Chambers
iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
iPad For Seniors For Dummies : iPad for Seniors For Dummies - Dwight Spivey
MacBook For Dummies : Macbook for Dummies - Mark L. Chambers

RRP $49.95

$34.97

30%
OFF
Windows 11 All-in-One For Dummies, 2nd Edition : For Dummies - Ciprian Adrian Rusen
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey

RRP $44.95

$31.47

30%
OFF
3D Printing For Dummies : For Dummies (Computer/Tech) - Richard Horne
The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim