> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Automatische Herleitung von effektiven Testsequenzen aus LOTOS-Spezifikationen mittels Fehlermodellen Beteiligte: Plesser, Volkmar [VerfasserIn] Erschienen: Aachen: Shaker, 1996 Erschienen in: Berichte aus der Informatik Ausgabe: Als Ms. gedr. Umfang: III, 140 S; graph. Darst; 21 cm Sprache: Deutsch ISBN: 3826517687 RVK-Notation: ST 200 : Allgemeines, Netzmanagement ST 250 : Einzelne Programmiersprachen (A-Z) Schlagwörter: LOTOS > Kommunikationsprotokoll > Testmustergenerierung Entstehung: Hochschulschrift: Zugl.: München, Techn. Univ., Diss., 1995 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 8 033866 001 Barcode: 10427590 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung