Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen (Programm Angewandte Informatik)
10 Angebote vergleichen

Lieferung aus: Schweiz, zzgl. Versandkosten, Versandfertig innert 6 - 9 Tagen.
Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen. Mit einem Geleitw. v. Eckart Raubold, Hinter dem Begriff "Verteilte Systeme" verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimediaanwendungen. Hauptanwen­ dungsfeld in diesem Buch ist die Telekooperation. Der Begriff" Verteiltes System", so wie er in diesem Buch verwendet wird, lässt sich informell - und in der Sprechweise der Tele­ kooperation -charakterisieren durch: - Kooperationspartner (Menschen und/oder Maschinen, allgemein autonome Systeme genannt), - Kooperationsziele, deren Erreichen gemeinsames Handeln der beteiligten Kooperationspartner erfordert (beispielsweise Abschluss eines Vertrags, Erarbeitung einer Spezifikation für ein technisches System, Fernwartung eines Systems, ... ) und - Komm unika tionsmedien, die Kooperationspartner miteinander verbinden (z. B. zum Transport von Sprach-, Bild-, oder Text­ information). Der Transport von Information aus Sicht eines Kommunikations­ mediums ist gekennzeichnet durch die Funktionen Senden, Über­ tragen, Vermitteln und Empfangen. Aus Sicht der Kooperations­ partner sind die Produktion der zu sendenden und die Konsumtion der empfangenen Information wichtige Begriffe. Kommunikationsmedien erbringen Kommunikationsdienst­ leistungen, die von den Kooperationspartnern in Anspruch genommen werden können. Zu den Eigenschaften verteilter Systeme gehören - Unsicherheit eines autonomen Systems über den Zustand der anderen an der Kooperation beteiligten autonomen Systeme, - Nebenläufigkeit und Nichtdeterminismus der Aktionen der autonomen Systeme als Ausflug ihrer Unabhängigkeit, 2 1 Einleitun[!, - Synchronisation ihrer Aktionen als Anforderung aus dem festgelegten Kooperationsziel, - aufeinander abgestimmte Betriebsmittelverwaltung (z. B. Puffer­ verwaltung von Sender und Empfänger), - aufeinander abgestimmte Mechanismen zur Fehlererkennung und Fehlerbehebung, u. S. w.

Lieferung aus: Deutschland, zzgl. Versandkosten, Versandfertig in 5 - 7 Tagen.
Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen. Mit einem Geleitw. v. Eckart Raubold, Hinter dem Begriff "Verteilte Systeme" verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimediaanwendungen. Hauptanwen­ dungsfeld in diesem Buch ist die Telekooperation. Der Begriff" Verteiltes System", so wie er in diesem Buch verwendet wird, läßt sich informell - und in der Sprechweise der Tele­ kooperation -charakterisieren durch: - Kooperationspartner (Menschen und/oder Maschinen, allgemein autonome Systeme genannt), - Kooperationsziele, deren Erreichen gemeinsames Handeln der beteiligten Kooperationspartner erfordert (beispielsweise Abschluß eines Vertrags, Erarbeitung einer Spezifikation für ein technisches System, Fernwartung eines Systems, ... ) und - Komm unika tionsmedien, die Kooperationspartner miteinander verbinden (z. B. zum Transport von Sprach-, Bild-, oder Text­ information). Der Transport von Information aus Sicht eines Kommunikations­ mediums ist gekennzeichnet durch die Funktionen Senden, Über­ tragen, Vermitteln und Empfangen. Aus Sicht der Kooperations­ partner sind die Produktion der zu sendenden und die Konsumtion der empfangenen Information wichtige Begriffe. Kommunikationsmedien erbringen Kommunikationsdienst­ leistungen, die von den Kooperationspartnern in Anspruch genommen werden können. Zu den Eigenschaften verteilter Systeme gehören - Unsicherheit eines autonomen Systems über den Zustand der anderen an der Kooperation beteiligten autonomen Systeme, - Nebenläufigkeit und Nichtdeterminismus der Aktionen der autonomen Systeme als Ausflug ihrer Unabhängigkeit, 2 1 Einleitun[!, - Synchronisation ihrer Aktionen als Anforderung aus dem festgelegten Kooperationsziel, - aufeinander abgestimmte Betriebsmittelverwaltung (z. B. Puffer­ verwaltung von Sender und Empfänger), - aufeinander abgestimmte Mechanismen zur Fehlererkennung und Fehlerbehebung, u. S. w.

Mosakowski & Stiasny GbR, [3737242].
VIII, 280 S. : graph. Darst. , 21 cm Pp.Nizza Buch / Versand am folgenden Werktag / Rechnung mit ausgewiesener MwSt. / ex-library / shipping every day worldwide / invoice included.

Lieferung aus: Deutschland, Versandkostenfrei, In stock (Download).
*Modellierung verteilter Systeme* - Konzeption Formale Spezifikation und Verifikation mit Produktnetzen / pdf eBook für 33.26 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik.

Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, fachbuecher-weltversand.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandkostenfrei, in stock.
Modellierung verteilter Systeme - Konzeption Formale Spezifikation und Verifikation mit Produktnetzen: ab 33.26 €.

Lieferung aus: Deutschland, Versandkostenfrei.
Modellierung verteilter Systeme: Ebook.

Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
There is currently no description available, eBook.