zum Inhalt
mehr
Schnellsuche:
OK
Ergebnisliste
Titel
Titelaufnahme
Titel
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems / Andreas Both ; Wolf Zimmermann
Verfasser
Both, Andreas
;
Zimmermann, Wolf
Erschienen
Halle,S.
,
2008
;
Halle, Saale
:
Universitäts- und Landesbibliothek Sachsen-Anhalt
,
2008
Umfang
Online-Ressource (PDF-Datei: 20 S., 0,72 MB)
Sprache
Englisch
Serie
Technische Berichte ; 2008,1
URN
urn:nbn:de:gbv:3:2-8152
Zugriffsbeschränkung
Das Dokument ist frei verfügbar
Dateien
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
[0.72 mb]
Links
Nachweis
Kein Nachweis verfügbar
Klassifikation
Inhalt
→
Informatik, Informations- wissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
→
Datenverarbeitung; Informatik