Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings - Anne E. Haxthausen

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

By: Anne E. Haxthausen (Editor), Wendelin Serwe (Editor)

Paperback | 24 September 2024

At a Glance

Paperback


$115.02

or 4 interest-free payments of $28.75 with

 or 

Aims to ship in 7 to 10 business days

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.



 



The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

More in Compilers & Interpreters

Definitive ANTLR 4 Reference : 2nd Edition - Terence Parr

RRP $70.35

$33.25

53%
OFF
Java For Dummies : Java for Dummies - Barry Burd

RRP $57.95

$40.75

30%
OFF
Flex & Bison [With Access Code] : O'Reilly Ser. - John Levine

RRP $57.00

$28.25

50%
OFF
NUnit Pocket Reference : Pocket Reference (O'Reilly) - Bill Hamilton
Language Implementation Patterns : Pragmatic Programmers - Terence Parr
Modern Systems Programming with Scala Native - Richard Whaling

RRP $87.35

$40.25

54%
OFF
Metaprogramming Elixir - Chris Mccord

RRP $32.35

$20.80

36%
OFF
Compilers : Principles, Techniques, and Tools - Alfred Aho

RRP $295.96

$226.90

23%
OFF
Compiler Design Using Kotlin⢠: An Object-Oriented Approach - John I. Moore
Rasmus Lerdorf : PHP's Hidden Journey - Unauthorized - Kiara Esposito
API Design : Crafting Interfaces That Don't Suck - Percy Hawkins

RRP $131.99

$90.90

31%
OFF
Rust Programming : Safe, Fast, and Fucking Secure - Herkimer Throckmorton

RRP $131.99

$90.90

31%
OFF
Handbook of Open Source Tools - Sandeep Koranne
Parsing Techniques : A Practical Guide - Dick Grune