> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Fehlerfreie Programmierung für den Software-Zauberlehrling Enthält: Literaturverz. S. 157 - 158 Beteiligte: Baber, Robert Laurence [VerfasserIn] Erschienen: München; Wien: Oldenbourg, 1990 Umfang: 169 S.; graph. Darst; 1 Beil. (2 S.) Sprache: Deutsch ISBN: 3486216376 RVK-Notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Schlagwörter: Programmverifikation Programmierung > Bug Programm > Korrektheit > Beweis Entstehung: Anmerkungen:
Bereichsbibliothek DrePunct Signatur: ST 233 B113 Barcode: 10426577 Status: Verfügbarkeit bitte in Prof Prozessmodellierung vernetzte technische Systeme erfragen.