Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch

cbs.date.changed2021-02-18
cbs.date.creation2009-04-02
cbs.picatypeOa
cbs.publication.displayformHalle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008
dc.contributor.authorPreuße, Sebastian
dc.contributor.authorHanisch, Hans-Michael
dc.date.accessioned2025-06-02T12:51:11Z
dc.date.issued2008
dc.format.extentOnline-Ressource (PDF-Datei: 14 S., 1,38 MB) : graph. Darst.
dc.genrebook
dc.identifier.ppn595674623
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/15676
dc.identifier.urnurn:nbn:de:gbv:3:2-8243
dc.identifier.vl-id89671
dc.language.isoger
dc.publisherMartin-Luther-University Halle-Wittenberg, Institute of Computer Science
dc.relation.ispartofseriesTechnische Berichte ; 2008,6 ppn:584751885
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc005
dc.titleVerhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch
dc.typeBook
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.openaccesstrue

Dateien

Originalbündel
Gerade angezeigt 1 - 1 von 1
Lade...
Vorschaubild
Name:
urn_nbn_de_gbv_3_2-8243.pdf
Größe:
1.38 MB
Format:
Adobe Portable Document Format
Beschreibung:
Verhaltensspezifikation mit der Sicherheitsfachsprache
Herunterladen

Sammlungen