Recomienda este artículo a tus amigos:
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Franzle on the Occasion of His 60th Birthday - Lecture Notes in Computer Science
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Franzle on the Occasion of His 60th Birthday - Lecture Notes in Computer Science
This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de mayo de 2026 |
| ISBN13 | 9783032168573 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 580 |
| Dimensiones | 150 × 220 × 10 mm · 890 g |
| Lengua | Alemán |
| Editor | Finkbeiner, Bernd |
| Editor | Kroger, Paul |
| Editor | Rauh, Andreas |