Suchfeld einblenden
Person Ehrenberger, Wolfgang
2 Treffer
Seite < 1 >
Computer safety, reliability and security
: 17th international conference ; proceedings / SAFECOMP '98, Heidelberg, Germany, October 1998. Wolfgang Ehrenberger (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1516)
ISBN 978-3-540-49646-5
Lizenzpflichtig
Quelle: DNB
Ehrenberger, Wolfgang: Software-Verifikation
: Verfahren für den Zuverlässigkeitsnachweis von Software / Wolfgang Ehrenberger. - München : Hanser, 2002. - XIV, 366 S. : graph. Darst.; 24 cm
ISBN 978-3-446-21624-2 / 3-446-21624-3 kart. : EUR 44.90
Literaturverz. S. 349 - 358
Quelle: DNB
Seite < 1 >
