Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 01397737

Nakladnici Springer, Berlin, studeni 1998

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

Libristo kod: 01397737

523 b

216.68 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Knjiga

12.65 €

Samuel Titmarsh et le grand diamant des Hoggarty Thackeray

Meki uvez

11.54 €

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

Meki uvez

9.11 €

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

Knjiga

7.49 €

Neuf Contes moraux, pour piano SACRE

Meki uvez

31.80 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Knjiga

11.84 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Meki uvez

18.43 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Meki uvez

37.47 €

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

Meki uvez

44.97 €

Ponos i predrasude i zombiji Jane Austen

Tvrdi uvez

17.11 €

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

Tvrdi uvez

7.49 €

Stille Jahre Raija Hauck

Meki uvez

13.56 €

Wszystko za życie Jon Krakauer

Meki uvez

8.70 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Meki uvez

39.30 €

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

Meki uvez

6.57 €

Kultur und Freizeit Erich Bader

Meki uvez

23.69 €

Zapletený Emma Chase

Tvrdi uvez

11.34 €

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

Tvrdi uvez

9.72 €

Veselé hry s obrázky a čísly

Tvrdi uvez

6.57 €

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

List

6.07 €

Štít hromu Gemmell David

Meki uvez

14.27 €

Jacob beschließt zu lieben Catalin D. Florescu

Tvrdi uvez

18.02 €

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

Meki uvez

11.84 €

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

Meki uvez

17.11 €

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.