Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Author:   Andre Platzer ,  Kristin Yvonne Rozier ,  Matteo Pradella ,  Matteo Rossi
Publisher:   Springer International Publishing AG
Edition:   2025 ed.
Volume:   14934
ISBN:  

9783031711763


Pages:   652
Publication Date:   13 September 2024
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $448.77 Quantity:  
Add to Cart

Share |

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II


Add your own review!

Overview

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. 

Full Product Details

Author:   Andre Platzer ,  Kristin Yvonne Rozier ,  Matteo Pradella ,  Matteo Rossi
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2025 ed.
Volume:   14934
ISBN:  

9783031711763


ISBN 10:   3031711769
Pages:   652
Publication Date:   13 September 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now