Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01397737

Nakladateľstvo Springer, Berlin, november 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Celý popis

Libristo kód: 01397737

498 b

206.00 €

Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

6.47 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Brožovaná

39.29 €

Wszystko za życie Jon Krakauer

Brožovaná

9.71 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Brožovaná

17.51 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Brožovaná

37.46 €

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Kniha

13.76 €

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

Brožovaná

47.59 €

Ponos i predrasude i zombiji Jane Austen

Pevná

20.85 €

Stille Jahre Raija Hauck

Brožovaná

13.56 €

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

Pevná

8.40 €

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

Brožovaná

9.61 €

Neuf Contes moraux, pour piano SACRE

Brožovaná

33.31 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Kniha

13.16 €

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

Brožovaná

17.11 €

Zapletený Emma Chase

Pevná

9.00 €

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

Pevná

11.43 €

Veselé hry s obrázky a čísly

Pevná

5.26 €

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

List

6.27 €

Štít hromu Gemmell David

Brožovaná

12.75 €

Jacob beschließt zu lieben Catalin D. Florescu

Pevná

18.02 €

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

Brožovaná

32.60 €

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

Brožovaná

11.84 €

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

Pevná

34.63 €

Kultur und Freizeit Erich Bader

Brožovaná

25.01 €

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.