Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Protocol Engineering and Distributed Systems

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

541 b

79 260 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

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

Paperback

2 450 Ft

Fotokatalityczna przepuszczalna nawierzchnia asfaltowa z oczyszczaniem spalin Guojun Zhang

Paperback

15 197 Ft

Wszystko za życie Jon Krakauer

Paperback

3 457 Ft

Neue Theoretisch-praktische Anweisung Zum Schachspiel Johann Allgaier

Paperback

7 034 Ft

Viaggio archeologico nell'antica Etruria Wilhelm Dorow

Paperback

14 439 Ft

DICTAGOL DICTADOS HA.DEL FUTBOL PAU ZUBIZARRETA

Book

4 881 Ft

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

Paperback

16 870 Ft

Ponos i predrasude i zombiji Jane Austen

Hardback

7 372 Ft

Stille Jahre Raija Hauck

Paperback

5 260 Ft

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

Hardback

2 963 Ft

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

Paperback

3 416 Ft

Neuf Contes moraux, pour piano SACRE

Paperback

11 813 Ft

CRECIMIENTO Y DIETA GONZALEZ MONTERO DE ESPINOSA

Book

4 659 Ft

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

Paperback

6 637 Ft

Zapletený Emma Chase

Hardback

4 280 Ft

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

Hardback

3 651 Ft

Veselé hry s obrázky a čísly

Hardback

2 519 Ft

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

Sheet

2 302 Ft

Štít hromu Gemmell David

Paperback

5 103 Ft

Jacob beschließt zu lieben Catalin D. Florescu

Hardback

6 974 Ft

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

Paperback

11 536 Ft

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

Paperback

4 571 Ft

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

Hardback

13 893 Ft

Kultur und Freizeit Erich Bader

Paperback

8 851 Ft

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.