Pastāsti draugiem par šo preci:
Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026. The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2026. gada 20. septembris |
| ISBN13 | 9783032368485 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 155 |
| Izmēri | 150 × 220 × 10 mm · 254 g |
| Valoda | Vācu |
| Redaktors | Gorm Larsen, Peter |
| Redaktors | Rozier, Kristin Yvonne |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim