> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung Beteiligte: Kick, Alexander [VerfasserIn] Erschienen: 1996 Umfang: VI, 115 S. Sprache: Deutsch RVK-Notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. ST 140 : Semantik von Programmiersprachen Schlagwörter: Verifikation > Model Checking > Temporale Logik Entstehung: Hochschulschrift: Karlsruhe, Univ., Diss., 1996 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 8 013003 001 Barcode: 10427595 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.