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

Formal Methods

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

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

Paperback | 17 October 2024

At a Glance

Paperback


$249.00

or 4 interest-free payments of $62.25 with

 or 

Ships in 5 to 7 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 Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Developing Graphics Frameworks with Java and OpenGL - James Cona
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang