Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch
Anzeigen / Download1.38 MB
Discovery
595674623
URN
urn:nbn:de:gbv:3:2-8243
DOI
ISBN
ISSN
Autorin / Autor
Beiträger
Körperschaft
Erschienen
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008
Umfang
Online-Ressource (PDF-Datei: 14 S., 1,38 MB) : graph. Darst.
Ausgabevermerk
Sprache
ger
Anmerkungen
Inhaltliche Zusammenfassung
Schriftenreihe
Technische Berichte ; 2008,6 ppn:584751885