Cantitate/Preț
Produs

Funktionelle Analyse von Kommunikationsprotokollen: Informatik-Fachberichte, cartea 247

Autor Heiko Krumm
de Limba Germană Paperback – 24 iul 1990

Din seria Informatik-Fachberichte

Preț: 40258 lei

Preț vechi: 50322 lei
-20% Nou

Puncte Express: 604

Preț estimativ în valută:
7705 8003$ 63100£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540528548
ISBN-10: 3540528547
Pagini: 136
Ilustrații: IX, 122 S.
Dimensiuni: 170 x 242 x 7 mm
Greutate: 0.23 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1. Einleitung.- 2. Systeme kommunizierender Instanzen.- 2.1 Reale Systeme.- 2.2 Systemstruktur.- 2.3 Instanz.- 2.4 Kopplung.- 2.5 Systemablauf.- 3. Dienste und Protokolle.- 3.1 Protokolle.- 3.2 Dienste.- 3.3 Kommunikationsdienste.- 3.4 Kommunikationsprotokolle.- 4. Analysemaßnahmen.- 4.1 System-Prüfung.- 4.2 Protokoll-Prüfung.- 5 Spezifikationstechniken.- 5.1 Übersicht und Klassifikation.- 5.2 Petri-Netze.- 5.3 Algebraische Spezifikationen.- 5.4 Erweiterte endliche Automaten.- 6. Strukturierter Erreichbarkeitsgraph.- 6.1 Grundkonzept.- 6.2 Beispiel.- 6.3 Auswertung.- 6.4 Nebenläufigkeitsmuster.- 7. Umgebungsmodelle.- 7.1 Beispiel.- 7.2 Umgebungsbezogene reduzierte Ersatzinstanz.- 7.3 Umgebungsverträglichkeit.- 8. Zusammenfassung.- Literatur.- Liste der Begriffe.- Liste der Definitionen.- Liste der Abbildungen.