Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Protocol Engineering and Distributed Systems

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

Jianping Wu

Samuel T. Chanson

Quiang Gao

Language

English

Book Hardback

Libristo code: 01397737

Publishers Springer, Berlin, November 1998

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

Libristo code: 01397737

498 b

205.62 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Book

12.53 €

Samuel Titmarsh et le grand diamant des Hoggarty Thackeray

Paperback

11.92 €

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

Paperback

9.49 €

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

Book

7.67 €

Neuf Contes moraux, pour piano SACRE

Paperback

33.15 €

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Book

11.82 €

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Paperback

18.39 €

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Paperback

37.39 €

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

Paperback

47.50 €

Ponos i predrasude i zombiji Jane Austen

Hardback

18.29 €

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

Hardback

8.38 €

Stille Jahre Raija Hauck

Paperback

13.54 €

Wszystko za życie Jon Krakauer

Paperback

9.29 €

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Paperback

39.21 €

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

Paperback

6.86 €

Kultur und Freizeit Erich Bader

Paperback

24.86 €

Zapletený Emma Chase

Hardback

12.02 €

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

Hardback

10.30 €

Veselé hry s obrázky a čísly

Hardback

7.07 €

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

Sheet

6.46 €

Štít hromu Gemmell David

Paperback

15.05 €

Jacob beschließt zu lieben Catalin D. Florescu

Hardback

17.98 €

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

Paperback

12.63 €

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

Paperback

17.07 €

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.