Titelaufnahme

Titel
Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch
VerfasserPreuße, Sebastian ; Hanisch, Hans-Michael
ErschienenHalle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
UmfangOnline-Ressource (PDF-Datei: 14 S., 1,38 MB) : graph. Darst.
SpracheDeutsch
SerieTechnische Berichte ; 2008,6
URNurn:nbn:de:gbv:3:2-8243 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar
Dateien
Verhaltensspezifikation mit der Sicherheitsfachsprache [1.37 mb]
Links
Nachweis
Kein Nachweis verfügbar
Klassifikation