Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch
| cbs.date.changed | 2021-02-18 | |
| cbs.date.creation | 2009-04-02 | |
| cbs.picatype | Oa | |
| cbs.publication.displayform | Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 | |
| dc.contributor.author | Preuße, Sebastian | |
| dc.contributor.author | Hanisch, Hans-Michael | |
| dc.date.accessioned | 2025-06-02T12:51:11Z | |
| dc.date.issued | 2008 | |
| dc.format.extent | Online-Ressource (PDF-Datei: 14 S., 1,38 MB) : graph. Darst. | |
| dc.genre | book | |
| dc.identifier.ppn | 595674623 | |
| dc.identifier.uri | https://epflicht.bibliothek.uni-halle.de/handle/123456789/15676 | |
| dc.identifier.urn | urn:nbn:de:gbv:3:2-8243 | |
| dc.identifier.vl-id | 89671 | |
| dc.language.iso | ger | |
| dc.publisher | Martin-Luther-University Halle-Wittenberg, Institute of Computer Science | |
| dc.relation.ispartofseries | Technische Berichte ; 2008,6 ppn:584751885 | |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.ddc | 005 | |
| dc.title | Verhaltensspezifikation mit der Sicherheitsfachsprache / Sebastian Preuße, Hans-Michael Hanisch | |
| dc.type | Book | |
| dspace.entity.type | Monograph | |
| local.accessrights.item | Anonymous | |
| local.openaccess | true |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- 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