Media type: Book Title: Dependable software systems engineering Contributor: Esparza, Javier [Editor]; Grumberg, Orna [Editor]; Sickert, Salomon [Editor] Published: Amsterdam; Berlin; Washington, DC: IOS Press, [2016] Published in: NATO: NATO science for peace and security series / D ; 45 Extent: ix, 285 Seiten; Illustrationen Language: English ISBN: 9781614996262 RVK notation: ST 276 : Datensicherung (physik.) und angewandte Kryptographie, Computerviren Origination: Footnote: "Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems, Marktoberdorf, Germany, 4-16 August 2015"
Departmental Library DrePunct – open access area Shelf-mark: ST 276 E77 Item ID: 34802122 Due date: 2024/10/04 Status: On loan, place hold > Reservation possible ‒ please log in