Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition)
5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 42,70 | € 43,51 | € 77,78 |
| Nachfrage |
1
Symbolbild
Formale Beschreibungstechniken für verteilte Systeme Informatik aktuell German and English Edition (1991)
DE PB NWISBN: 9783540555681 bzw. 3540555684, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Perfect Paperback. 228 pages. Dimensions: 9.5in. x 6.7in. x 0.6in.1m Februar 1991 wurde ein Arbeitskreis Formale Beschreibungstechniken fUr verteilte Systeme am Rande der Fachtagung Kommunikation in verteilten Systemen in Mann heim in der GIITG Fachgruppe 3. 3. 14. 4 Kommunikation und verteilte Systeme gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP Open Distributed Processing, Normungsaktivitat ISO) (FDT Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Perfect Paperback. 228 pages. Dimensions: 9.5in. x 6.7in. x 0.6in.1m Februar 1991 wurde ein Arbeitskreis Formale Beschreibungstechniken fUr verteilte Systeme am Rande der Fachtagung Kommunikation in verteilten Systemen in Mann heim in der GIITG Fachgruppe 3. 3. 14. 4 Kommunikation und verteilte Systeme gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP Open Distributed Processing, Normungsaktivitat ISO) (FDT Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
Formale Beschreibungstechniken für verteilte Systeme (Informatik aktuell) (German and English Edition) (1992)
DE NWISBN: 9783540555681 bzw. 3540555684, in Deutsch, 228 Seiten, Springer, neu.
Neu ab: $60.17 (11 Angebote)
Gebraucht ab: $86.30 (2 Angebote)
Zu den weiteren 13 Angeboten bei Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, affordable2015.
1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer- seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm- stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen- gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. Perfect Paperback, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1992-06-25, Studio: Springer.
Von Händler/Antiquariat, affordable2015.
1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer- seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm- stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen- gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung. Perfect Paperback, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1992-06-25, Studio: Springer.
3
Symbolbild
Formale Beschreibungstechniken fÇ r verteilte Systeme (1992)
DE PB USISBN: 9783540555681 bzw. 3540555684, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Symbolbild
Formale Beschreibungstechniken für verteilte Systeme (1992)
DE PB NW RPISBN: 9783540555681 bzw. 3540555684, in Deutsch, Springer Mai 1992, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. - 240 pp. Englisch, Deutsch.
This item is printed on demand - Print on Demand Titel. - 240 pp. Englisch, Deutsch.
5
Formale Beschreibungstechniken Fur Verteilte Systeme 9783540555681, Paperback
DE PB NWISBN: 9783540555681 bzw. 3540555684, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lieferart: Free, Lieferung: Weltweit, Artikelstandort: 60954 USA, Versandkostenfrei.
Von Händler/Antiquariat, oodals_uk - Oodals UK.
Festpreisangebot.
Von Händler/Antiquariat, oodals_uk - Oodals UK.
Festpreisangebot.
Lade…