Verified Software: Theories, Tools, Experiments
Ein Fachband aus der ersten IFIP TC 2/WG 2.3-Konferenz in Zürich, der neueste theoretische Erkenntnisse, innovative Werkzeuge und experimentelle Studien zur Softwareverifikation zusammenführt; ein wertvoller Leitfaden für Forschung und Praxis in formalen Methoden.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Hugendubel 
Medimops DE 
SpringerLink DE 
