Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Formal Techniques for Networked and Distributed Systems

Name: Formal Techniques for Networked and Distributed Systems
Brand: Springer, Berlin
SKU: 01397070
Price: 234.09 EUR
Availability: InStock
Author: yungchul Kim
ISBN: 9780792374701

Language

English

Book Hardback

Libristo code: 01397070

Publishers Springer, Berlin, November 2000

This book presents the latest worldwide results in theory and practice of formal techniques for netw... Full description

Libristo code: 01397070

573 b

234.09 € VAT included

Low in stock at our supplier Shipping in 13-18 days

Delivery to Austria

30-day return policy

Customers also purchased

Základy Knihy V-VI Eukleides

Paperback

7.69 €

Když se hubnout nedaří Marta Boučková

Paperback

8.39 €

Fullspace-Projektion Ute B Schroder

Hardback

54.99 €

La psychiatrie francophone DELTEIL

Paperback

25.29 €

Confidences des noces roman LAURE SYLVIE ADOU DA

Paperback

14.69 €

Awele: Awele, o Amante de Vestidos Esther Adewuyi

Paperback

9.89 €

Das Paradoxe Geschlecht Gesa Lindemann

Paperback

44.99 €

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

Paperback

54.90 €

Tokyo revengers Ken Wakui

Paperback

8.49 €

Boy's Abyss 13 Nana Umino

Paperback

8.00 €

Ciao Antonella Abbatiello

Hardback

19.09 €

Český jazyk Testové úlohy Roman Kanda

Paperback

8.59 €

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

Paperback

55.49 €

La Leyenda de la Sombra de la Luna Joe Barfield

Paperback

13.49 €

La Revolución Rusa de 1917 VICENTE BLASCO IBAÑEZ

Paperback

33.09 €

In meinem Schatten werde ich getragen Tomas Tranströmer

Paperback

17.00 €

Informationsverhalten von Studierenden in Bezug auf Versicherungsprodukte - Eine empirische Analyse mit Handlungsempfehlungen fur Versicherungen Andreas Möller

Paperback

47.95 €

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

Paperback

43.09 €

Biomedizin Und Ethik Hans-Peter Schreiber

Hardback

49.95 €

Memoria canalla de un periodista impertinente. Los géneros clásicos ante las nuevas tecnologías Peñalva Abrisqueta

Paperback

30.19 €

Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky

Paperback

27.90 €

Ohnivý most Miroslav Šnajdr

Book

10.09 €

Guide de la Conversation Japonaise (2e Ed)(Ed.1867) Leon De Rosny

Paperback

21.99 €

English G Lighthouse - Allgemeine Ausgabe - Band 3: 7. Schuljahr Susan Abbey

Hardback

32.79 €

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Applications of Verification, Distributed Systems Testing, Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. §This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.§Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.