Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Język

Angielski

Książka Twarda

Kod Libristo: 01397737

Wydawnictwo Springer, Berlin, listopad 1998

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq... Cały opis

Kod Libristo: 01397737

498 b

871.89 zł

Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

27.69 zł

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Miękka

166.20 zł

Wszystko za życie Jon Krakauer

Miękka

31.50 zł

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Miękka

77.98 zł

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Miękka

158.57 zł

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Książka

58.30 zł

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

Miękka

201.63 zł

Ponos i predrasude i zombiji Jane Austen

Twarda

88.11 zł

Stille Jahre Raija Hauck

Miękka

57.50 zł

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

Twarda

24.18 zł

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

Miękka

40.84 zł

Neuf Contes moraux, pour piano SACRE

Miękka

141.21 zł

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Książka

55.69 zł

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

Miękka

72.56 zł

Zapletený Emma Chase

Twarda

50.78 zł

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

Twarda

41.14 zł

Veselé hry s obrázky a čísly

Twarda

27.99 zł

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

Karta

27.49 zł

Štít hromu Gemmell David

Miękka

58.81 zł

Jacob beschließt zu lieben Catalin D. Florescu

Twarda

76.17 zł

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

Miękka

137.90 zł

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

Miękka

50.07 zł

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

Twarda

154.16 zł

Kultur und Freizeit Erich Bader

Miękka

105.78 zł

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.