4 Ebooks tarafından Alexander Knapp
Maurice H. ter Beek & Stefania Gnesi: Critical Systems: Formal Methods and Automated Verification
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification …
PDF
İngilizce
DRM
€57.36
Simonetta Balsamo & Alexander Knapp: Radical Innovations of Software and Systems Engineering in the Future
This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth in the series of Monterey Software Eng …
PDF
İngilizce
DRM
€57.90
