> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Dependable software systems engineering Beteiligte: Esparza, Javier [Herausgeber:in]; Grumberg, Orna [Herausgeber:in]; Sickert, Salomon [Herausgeber:in] Erschienen: Amsterdam; Berlin; Washington, DC: IOS Press, [2016] Erschienen in: NATO: NATO science for peace and security series / D ; 45 Umfang: ix, 285 Seiten; Illustrationen Sprache: Englisch ISBN: 9781614996262 RVK-Notation: ST 276 : Datensicherung (physik.) und angewandte Kryptographie, Computerviren Entstehung: Anmerkungen: "Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems, Marktoberdorf, Germany, 4-16 August 2015" Weitere Bestandsnachweise 0 : NATO science for peace and security series / D
Bereichsbibliothek DrePunct – Freihand Signatur: ST 276 E77 Barcode: 34802122 Fällig am: 04.10.2024 Status: Ausgeliehen, Vormerken möglich > Vormerken möglich - bitte anmelden