> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP Beteiligte: Thielke, Thomas [VerfasserIn]; Riemann, Robert [VerfasserIn] Erschienen: Hildesheim: Inst. für Informatik, 1996 Erschienen in: Hildesheimer Informatik-Berichte ; 96,29 Umfang: 19 S.; graph. Darst Sprache: Deutsch RVK-Notation: SS 4615 : Hildesheimer Informatik-Berichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Hildesheimer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 4 017078 001 Barcode: 10426057 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden