Formale Beschreibungstechniken für verteilte Systeme
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Berlin, Heidelberg u.a.
Springer
1992
|
| Schriftenreihe: | Informatik aktuell
|
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis Inhaltstext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Enth. einerseits Arbeiten, die anläßlich des ersten Fachgesprächs des neu gegründeten Arbeitskreises "Formale Beschreibungstechniken für Verteilte Systeme" in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und Verteilte Systeme" im Juni 1991 in Darmstadt vorgestellt wurden und andererseits Arbeiten, die nachträglich von Autoren eingereicht wurden, denen es nicht möglich war, am Fachgespräch teilzunehmen Literaturangaben |
|---|---|
| Beschreibung: | 228 S. graph. Darst. 25 cm |
| ISBN: | 3540555684 3-540-55568-4 0387555684 0-387-55568-4 |