On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Seiten
2026
Springer International Publishing (Hersteller)
978-3-032-13711-1 (ISBN)
Springer International Publishing (Hersteller)
978-3-032-13711-1 (ISBN)
- Noch nicht erschienen - erscheint am 06.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 6.2.2026 |
|---|---|
| Reihe/Serie | Computer Science |
| Computer Science (R0) | Lecture Notes in Computer Science |
| Zusatzinfo | X, 155 p. 23 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Automata • Cyber-Physical Systems • Model Checking • program analysis • Requirements Analysis • Software engineering • Software Reliability • verification |
| ISBN-10 | 3-032-13711-X / 303213711X |
| ISBN-13 | 978-3-032-13711-1 / 9783032137111 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
