Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Verification-Based Analysis of Reliable Multicast Protocol

Name: Verification-Based Analysis of Reliable Multicast Protocol
Brand: Biblioscholar
SKU: 08286959
Price: 17.09 EUR
Availability: InStock
Author: Yunqing Wu
ISBN: 9781288910267

Yunqing Wu

Sprache

Englisch

Buch Broschur

Libristo-Code: 08286959

Verlag Biblioscholar, März 2013

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally order... Vollständige Beschreibung

Libristo-Code: 08286959

42 b

17.09 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Ziffern Und Ziffernsysteme Eugen Löffler

Broschur

55.29 €

Memoires Du Baron d'Haussez, Dernier Ministre de la Marine Sous La Restauration. Tome 1 Charles Lemercher De Haussez

Broschur

31.29 €

El visado colegial (Formato dúo) Calvo Sánchez

Broschur

62.29 €

Sueldecitos más bien bajitos # ¡Miseria, la bacteria! # Drones matones (Súper Hu FRANCISCO IBAÑEZ

Hardcover

23.49 €

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification-Based Analysis of Reliable Multicast Protocol

Autor Yunqing Wu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 64

EAN 9781288910267

ISBN 9781288910267

Libristo-Code 08286959

Verlag Biblioscholar

Gewicht 132

Abmessungen 189 x 246 x 3

Kategorie

Gesellschaft und Sozialwissenschaften > Pädagogik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert