Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

AvPeter Ochsenschläger

Häftad, Tyska, 1995

Del i serien Programm Angewandte Informatik

564 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1995-01-01
Mått:148 x 210 x 16 mm
Vikt:381 g
Format:Häftad
Språk:Tyska
Serie:Programm Angewandte Informatik
Antal sidor:280
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528054335

Utforska kategorier

Innehållsförteckning

1 Einleitung.- 2 Unbeschriftete Netze.- 2.1 Netze ohne Verbots- und Abräumkanten.- 2.2 Netze mit Verbotskanten.- 2.3 Netze mit Abräumkanten.- 2.4 Graphische Darstellung von Netzen.- 2.5 Erreichbarkeitsgraphen.- 2.6 Netzstrukturen.- 3 Ein Modell zur Flußkontrolle.- 4 Auf- und Abbau von Verbindungen.- 4.1 Protokollstrukturen.- 4.2 Kompositon des Protokolls aus Teilstrukturen.- 4.3 Analyse des Protokolls.- 4.4 Anbindung der Kooperationspartner an die Protokollinstanzen.- 4.5 Kommunikation zwischen Dienstbenutzer und Diensterbringer.- 5 Produktnetze.- 5.1 Beispiel.- 5.2 Mengen und Funktionen.- 5.3 Markierungen.- 5.4 Beschriftung.- 5.5 Interpretationen.- 5.6 Schaltbedingung.- 5.7 Schaltregel.- 6 Beispiele.- 7 Ausdrucksstärke der Produktnetze.- 8 Das Alternating Bit Protokoll.- 8.1 Zu erbringender Dienst.- 8.2 Benutzter Dienst.- 8.3 Definition des Protokolls.- 9 Das ISDN-D-Kanalprotokoll.- 9.1 Lage des ISDN-D-Kanalprotokolls.- 9.2 Elemente des ISDN-D-Kanalprotokolls.- 9.3 Ein Produktnetzmodell.- 9.4 Anmerkungen zur Analyse.- 10 Zählermodell und Synchronisation.- 10.1 Formalisierung der Aufgabe.- 10.2 Endekriterien und Anmerkungen zur Analyse.- 10.3 Modifikation des Modells.- 10.4 Das unterlagerte Kommunikationsmedium.- 10.5 Spezifikation der Protokollinstanzen.- 11 Schaltfolgenhomomorphismen.- 12 Reduzierte Erreichbarkeitsgraphen.- 13 Deadlocksprachen.- 14 Die Produktnetzmaschine.- 15 Schlichte Homomorphismen.- Sachwortverzeichnis.

Mer från samma serie

Kanngiesser Joachim - Die Abrechnung von ADV-Systemleistungen, Häftad

Die Abrechnung von ADV-Systemleistungen

Kanngiesser Joachim

Häftad, 1980

580 kr

Paul Schmitz - Software-Qualitätssicherung, Häftad

Software-Qualitätssicherung

Paul Schmitz

Häftad, 1982

580 kr

Christina Tiedemann - Kostenrechnung für Rechenzentren, Häftad

Kostenrechnung für Rechenzentren

Christina Tiedemann

Häftad, 1983

580 kr

Norbert Szyperski - Interpretative Strukturmodellierung (ISM), Häftad

Interpretative Strukturmodellierung (ISM)

Norbert Szyperski

Häftad, 1983

564 kr

Günther Becher - Datenverarbeitung im Luftverkehr, Häftad

Datenverarbeitung im Luftverkehr

Günther Becher

Häftad, 1984

564 kr

Gerd Wolfram - Bürokommunikation und Informationssicherheit, Häftad

Bürokommunikation und Informationssicherheit

Gerd Wolfram

Häftad, 1986

580 kr

Dieter Euler - Computerunterstützter Unterricht, Häftad

Computerunterstützter Unterricht

Dieter Euler

Häftad, 1987

548 kr

Blaise Cronin - Informationsmanagement in Wissenschaft und Forschung, Häftad

Informationsmanagement in Wissenschaft und Forschung

Blaise Cronin

Häftad, 1990

564 kr

Matthias von Bechtolsheim - Agentensysteme, Häftad

Agentensysteme

Matthias von Bechtolsheim

Häftad, 1993

580 kr

Helmut Rzehak - Echtzeitsysteme und Fuzzy Control, Häftad

Echtzeitsysteme und Fuzzy Control

Helmut Rzehak

Häftad, 1994

580 kr

Du kanske också är intresserad av

Günther Becher - Datenverarbeitung im Luftverkehr, Häftad

Datenverarbeitung im Luftverkehr

Günther Becher

Häftad, 1984

564 kr

Kanngiesser Joachim - Die Abrechnung von ADV-Systemleistungen, Häftad

Die Abrechnung von ADV-Systemleistungen

Kanngiesser Joachim

Häftad, 1980

580 kr

Matthias von Bechtolsheim - Agentensysteme, Häftad

Agentensysteme

Matthias von Bechtolsheim

Häftad, 1993

580 kr

Udo Winand, Bernd Rosenstengel, Udo Winand - Petri-Netze, Häftad

Petri-Netze

Udo Winand, Bernd Rosenstengel, Udo Winand

Häftad, 1991

564 kr

Christina Tiedemann - Kostenrechnung für Rechenzentren, Häftad

Kostenrechnung für Rechenzentren

Christina Tiedemann

Häftad, 1983

580 kr

Paul Schmitz - Software-Qualitätssicherung — Testen im Software-Lebenszyklus, Häftad

Software-Qualitätssicherung — Testen im Software-Lebenszyklus

Paul Schmitz

Häftad, 1983

580 kr

Paul Schmitz - Software-Qualitätssicherung, Häftad

Software-Qualitätssicherung

Paul Schmitz

Häftad, 1982

580 kr

Blaise Cronin - Informationsmanagement in Wissenschaft und Forschung, Häftad

Informationsmanagement in Wissenschaft und Forschung

Blaise Cronin

Häftad, 1990

564 kr

Horst Mehl - Methoden verteilter Simulation, Häftad

Methoden verteilter Simulation

Horst Mehl

Häftad, 1994

580 kr

Dieter Euler - Computerunterstützter Unterricht, Häftad

Computerunterstützter Unterricht

Dieter Euler

Häftad, 1987

548 kr