Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 26th International Symposium, FM 2024, Milan, Italy, September 9â"13, 2024, Proceedings, Part I - Andre Platzer

Lecture Notes in Computer Science

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 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 Natural Language & Machine Translation

How To Think About AI : A Guide For The Perplexed - Richard  Susskind

RRP $25.95

$22.75

12%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
The AI Engineering Bootcamp : Build, Ship, Share - Greg Loughnane

RRP $107.95

$75.75

30%
OFF
ChatGPT For Dummies : For Dummies (Computer/Tech) - Pam Baker

RRP $41.95

$33.75

20%
OFF
AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella
Think Python : How to Think Like a Computer Scientist - Allen B. Downey
Superhuman : Beyond the Limits of Our Intelligence - Nello Cristianini

RRP $252.00

$219.75

13%
OFF