Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01397737

Založba Springer, Berlin, november 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Celoten opis

Koda Libristo: 01397737

471 b

194.76 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

6.07 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Mehka

36.96 €

Wszystko za życie Jon Krakauer

Mehka

8.60 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Mehka

17.51 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Mehka

35.34 €

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Knjiga

12.65 €

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

Mehka

42.33 €

Ponos i predrasude i zombiji Jane Austen

Trda

15.89 €

Stille Jahre Raija Hauck

Mehka

12.75 €

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

Trda

6.57 €

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

Mehka

8.80 €

Neuf Contes moraux, pour piano SACRE

Mehka

30.48 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Knjiga

11.94 €

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

Mehka

16.09 €

Zapletený Emma Chase

Trda

10.83 €

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

Trda

9.21 €

Veselé hry s obrázky a čísly

Trda

6.07 €

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

Preglednica

5.76 €

Štít hromu Gemmell David

Mehka

13.06 €

Jacob beschließt zu lieben Catalin D. Florescu

Trda

17.01 €

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

Mehka

29.36 €

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

Mehka

11.13 €

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

Trda

34.63 €

Kultur und Freizeit Erich Bader

Mehka

22.47 €

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.