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 Techniques for Networked and Distributed Systems

Name: Formal Techniques for Networked and Distributed Systems
Brand: Springer, Berlin
SKU: 01397070
Price: 226.58 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

548 b

226.58 €

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

Up to 30 days for returns

Customers also purchased

Základy Knihy V-VI Eukleides

Paperback

7.37 €

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

Paperback

8.49 €

Fullspace-Projektion Ute B Schroder

Hardback

51.88 €

La psychiatrie francophone DELTEIL

Paperback

24.17 €

Confidences des noces roman LAURE SYLVIE ADOU DA

Paperback

14.25 €

Awele: Awele, o Amante de Vestidos Esther Adewuyi

Paperback

9.50 €

Das Paradoxe Geschlecht Gesa Lindemann

Paperback

42.48 €

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

Paperback

48.95 €

Tokyo revengers Ken Wakui

Paperback

8.18 €

Boy's Abyss 13 Nana Umino

Paperback

7.37 €

Ciao Antonella Abbatiello

Hardback

18.40 €

Český jazyk Testové úlohy Roman Kanda

Paperback

8.28 €

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

Paperback

53.50 €

La Leyenda de la Sombra de la Luna Joe Barfield

Paperback

13.04 €

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

Paperback

32.26 €

In meinem Schatten werde ich getragen Tomas Tranströmer

Paperback

15.37 €

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

Paperback

42.78 €

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

Paperback

41.46 €

Biomedizin Und Ethik Hans-Peter Schreiber

Hardback

37.82 €

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

Paperback

29.12 €

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

Paperback

25.08 €

Ohnivý most Miroslav Šnajdr

Book

9.60 €

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

Paperback

21.23 €

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

Hardback

31.55 €

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.