2024th edition
Paperback (24 Sep 2024)
Save $9.30
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 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.
| ISBN: | 9783031681493 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| Pub date: | 24 Sep 2024 |
| Edition: | 2024th edition |
| Language: | English |
| Number of pages: | 260 |
| Weight: | 386g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 15mm |
Compilers
Paperback
Published 02 Aug 2013
$2.40off
Modern Compiler Implementation ...
Paperback
Published 07 Aug 2004
Save $2.40
Swift 4 for Absolute Beginners
Paperback
Published 20 Dec 2017
$42.12off
Beginning HCL Programming
Paperback
Published 12 Apr 2021
Save $42.12
$1.42off
Matlab Graphical Programming
Paperback
Published 22 Dec 2014
Save $1.42
$18.20off
Compiler Design Using Java(R)
Paperback
Published 28 Oct 2024
Save $18.20
$18.20off
Compiler Design Using Kotlin(TM)
Paperback
Published 04 Nov 2024
Save $18.20
$33.59off
Rust Programming
Paperback
Published 05 Nov 2024
Save $33.59
$22.88off
API Design
Paperback
Published 28 Oct 2024
Save $22.88
$41.31off
Beginning R 4
Paperback
Published 18 Oct 2020
Save $41.31