Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Formal Methods for Protocol Engineering and Distributed Systems

Name: Formal Methods for Protocol Engineering and Distributed Systems
Brand: Springer, Berlin
SKU: 01397737
Price: 206.23 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

499 b

206.23 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Knjiga

12.64 €

Samuel Titmarsh et le grand diamant des Hoggarty Thackeray

Mehka

11.02 €

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

Mehka

8.69 €

* por martine et le moineau (pf) Delahaye/marlier Knjiga

Knjiga

7.07 €

Neuf Contes moraux, pour piano SACRE

Mehka

30.25 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Knjiga

11.83 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Mehka

17.50 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Mehka

35.31 €

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

Mehka

42.29 €

Ponos i predrasude i zombiji Jane Austen

Trda

15.88 €

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

Trda

6.57 €

Stille Jahre Raija Hauck

Mehka

12.74 €

Wszystko za życie Jon Krakauer

Mehka

8.09 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Mehka

36.93 €

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

Mehka

6.06 €

Kultur und Freizeit Erich Bader

Mehka

22.46 €

Zapletený Emma Chase

Trda

10.72 €

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

Trda

9.20 €

Veselé hry s obrázky a čísly

Trda

6.06 €

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

Preglednica

5.76 €

Štít hromu Gemmell David

Mehka

13.45 €

Jacob beschließt zu lieben Catalin D. Florescu

Trda

18.00 €

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

Mehka

12.64 €

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

Mehka

16.08 €

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.