> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Entwicklung eines Verfahrens zur modellbasierten Überprüfung von digitalen Systemen Beteiligte: Schreiber, Ingo [Verfasser:in] Erschienen: Dresden [u.a.]: Techn. Univ., 1996 Erschienen in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 96,2 Umfang: 71 S.; graph. Darst Sprache: Deutsch RVK-Notation: SK 970 : Operations Research Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen <Dresden>: SFB 358
Bereichsbibliothek DrePunct – Freihand Signatur: ZN 1746-02/1996 Barcode: 10369636 Status: Ausleihbar