Del 9933
Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Häftad
719 kr
Del 15765 i serien Lecture Notes in Computer Science
Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Häftad, Engelska, 2025
1 039 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students. After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved on to a chair in Augsburg in 2000.
Produktinformation
- Utgivningsdatum2025-05-28
- Mått155 x 235 x 21 mm
- Vikt587 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor376
- FörlagSpringer International Publishing AG
- ISBN9783031921957
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 15945
Radical Innovations of Software and Systems Engineering in the Future
Martin Wirsing, Alexander Knapp, Simonetta Balsamo
Häftad
719 kr
Del 9128
Del 8822
Del 12235
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira
Häftad
1 279 kr