> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Software reliability methods Beteiligte: Peled, Doron [VerfasserIn] Erschienen: New York, NY; Berlin; Heidelberg [u.a.]: Springer, c 2001 Erschienen in: Texts in computer science Umfang: XIX, 331 S.; graph. Darst Sprache: Englisch ISBN: 0387951067; 9781441928764 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: Software > Zuverlässigkeit Software > Zuverlässigkeit > Formale Methode Entstehung: Anmerkungen: Literaturverz. S. [321] - 328. - Literaturangaben
Bereichsbibliothek DrePunct – Magazin Signatur: 2001 8 025061 002 Barcode: 30083255 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.
Bereichsbibliothek DrePunct Signatur: ST 233 P381 Barcode: 34777329 Status: Verfügbarkeit bitte in Prof Prozessorentwurf erfragen.