> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Software design for resilient computer systems Beteiligte: Schagaev, Igor [VerfasserIn]; Kaegi-Trachsel, Thomas [VerfasserIn] Erschienen: Cham: Springer, [2016] Umfang: xiv, 214 Seiten; Illustrationen, Diagramme Sprache: Englisch ISBN: 9783319294636 RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Schlagwörter: Fehlertoleranz > Programmverifikation > Sicherheitskritisches System > Formale Methode Entstehung: Anmerkungen: Literaturangaben