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 :-(

Formal Methods for Protocol Engineering and Distributed Systems

Name: Formal Methods for Protocol Engineering and Distributed Systems
Brand: Springer, Berlin
SKU: 01397737
Price: 214.29 EUR
Availability: InStock
Author: Jianping Wu
ISBN: 9780792386469

Jianping Wu

Samuel T. Chanson

Quiang Gao

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01397737

Verlag Springer, Berlin, November 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Vollständige Beschreibung

Libristo-Code: 01397737

524 b

214.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Opakuji si o prázdninách 1 František Šilar

Broschur

7.19 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Broschur

40.99 €

Wszystko za życie Jon Krakauer

Broschur

10.79 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Broschur

19.09 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Broschur

38.99 €

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Buch

14.09 €

Analyse stimulationsevozierter Muskel- und Nervensignale mithilfe elektrischer und magnetischer Sensorik Eric Elzenheimer

Broschur

49.80 €

Ponos i predrasude i zombiji Jane Austen

Hardcover

19.39 €

Stille Jahre Raija Hauck

Broschur

15.00 €

Jeszcze nic straconego. Rozmawia Agnieszka Orzelska - Stączek Wojciech Roszkowski

Hardcover

9.99 €

Les Termes clés de l'analyse du théâtre Anne Ubersfeld

Broschur

9.99 €

Neuf Contes moraux, pour piano SACRE

Broschur

34.39 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Buch

13.59 €

Spannungsverhaltnis zwischen Kaisertum und Papsttum - aufgezeigt an der Quelle "Dictatus Papae Pia Brinkkoetter

Broschur

18.95 €

Zapletený Emma Chase

Hardcover

12.49 €

Rychlé a snadné recepty pro kojence a batolata Annabel Karmel

Hardcover

10.69 €

Veselé hry s obrázky a čísly

Hardcover

7.59 €

Grafické básně aneb Autoportrét psacího stroje Miloš Horanský

Blatt

6.89 €

Štít hromu Gemmell David

Broschur

15.69 €

Jacob beschließt zu lieben Catalin D. Florescu

Hardcover

19.95 €

Leistungsfähige Entscheidungen in Politik und Verwaltung durch Systemanalyse. Albrecht Nagel

Broschur

33.69 €

Das Spiel der Götter - Das Reich der Sieben Städte Steven Erikson

Broschur

13.00 €

Condicion Social De Los Moriscos De Espana: Causas De Su Explosion... Florencio Janer

Hardcover

37.69 €

Kultur und Freizeit Erich Bader

Broschur

25.89 €

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

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 Formal Methods for Protocol Engineering and Distributed Systems

Autor Jianping Wu, Samuel T. Chanson, Quiang Gao

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1999

Anzahl der Seiten 500

EAN 9780792386469

ISBN 0792386469

Libristo-Code 01397737

Verlag Springer, Berlin

Gewicht 898

Abmessungen 156 x 234 x 28

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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