> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models Beteiligte: DelCastillo, Giuseppe [VerfasserIn] Erschienen: Paderborn: HNI, 2001 Erschienen in: Heinz Nixdorf Institut: HNI-Verlagsschriftenreihe ; 83 Weitere Titel: Umfang: IV, 212 S; graph. Darst; 25 cm Sprache: Englisch ISBN: 3931466825 Entstehung: RVK-Notation: ST 620 : Technik Schlagwörter: Hochschulschrift Anmerkungen: Weitere Bestandsnachweise 0 : HNI-Verlagsschriftenreihe
Bereichsbibliothek DrePunct – Magazin Signatur: R2018 8 1059 Barcode: 30672281 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden