Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
2026
Springer International Publishing (Hersteller)
978-3-032-12484-5 (ISBN)
Springer International Publishing (Hersteller)
978-3-032-12484-5 (ISBN)
- Noch nicht erschienen - erscheint am 16.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 16.2.2026 |
|---|---|
| Reihe/Serie | Computer Science |
| Computer Science (R0) | Lecture Notes in Computer Science |
| Zusatzinfo | Approx. 700 p. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Dependable Systems • Embedded Systems • formal methods • Formal Methods, Railway Domain • industrial critical systems • Reliability • Safety-Critical Systems • software certification • verification |
| ISBN-10 | 3-032-12484-0 / 3032124840 |
| ISBN-13 | 978-3-032-12484-5 / 9783032124845 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
