Pastāsti draugiem par šo preci:
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings - Lecture Notes in Computer Science Anne Remke
Cena
€ 61,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 3. - 11. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Anne Remke izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings - Lecture Notes in Computer Science
Anne Remke
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2025. gada 28. augusts |
| ISBN13 | 9783032009418 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 297 |
| Izmēri | 155 × 234 × 20 mm · 466 g |
| Valoda | Vācu |
| Redaktors | Remke, Anne |
| Redaktors | Steffen, Bernhard |
![Cover for Anne Remke · Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 Edition] (2015)](https://imusic.b-cdn.net/images/item/original/781/9783319185781.jpg?anne-remke-2015-analytical-and-stochastic-modelling-techniques-and-applications-22nd-international-conference-asmta-2015-albena-bulgaria-may-26-29-2015-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1476722381)
![Cover for Anne Remke · Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2014 Edition] (2014)](https://imusic.b-cdn.net/images/item/original/886/9783662454886.jpg?anne-remke-2014-stochastic-model-checking-international-autumn-school-rocks-2012-vahrn-italy-october-22-26-2012-advanced-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1614301038)
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 Edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover Book) [2nd Second 2026 Edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-book&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Hardcover Book) [Fourth Edition 2026 Edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-hardcover-book&class=scaled&v=1780455123)
