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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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 Techniques for Networked and Distributed Systems

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

563 b

82 211 Ft

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

2 596 Ft

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

Paperback

3 093 Ft

Fullspace-Projektion Ute B Schroder

Hardback

19 951 Ft

La psychiatrie francophone DELTEIL

Paperback

9 357 Ft

Confidences des noces roman LAURE SYLVIE ADOU DA

Paperback

5 049 Ft

Awele: Awele, o Amante de Vestidos Esther Adewuyi

Paperback

3 650 Ft

Das Paradoxe Geschlecht Gesa Lindemann

Paperback

16 361 Ft

Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline

Paperback

18 915 Ft

Tokyo revengers Ken Wakui

Paperback

2 904 Ft

Boy's Abyss 13 Nana Umino

Paperback

2 844 Ft

Ciao Antonella Abbatiello

Hardback

6 494 Ft

Český jazyk Testové úlohy Roman Kanda

Paperback

2 932 Ft

Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin

Paperback

18 902 Ft

La Leyenda de la Sombra de la Luna Joe Barfield

Paperback

4 961 Ft

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

Paperback

11 381 Ft

In meinem Schatten werde ich getragen Tomas Tranströmer

Paperback

5 942 Ft

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

Paperback

16 536 Ft

Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser

Paperback

14 640 Ft

Biomedizin Und Ethik Hans-Peter Schreiber

Hardback

14 695 Ft

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

Paperback

10 259 Ft

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

Paperback

9 660 Ft

Ohnivý most Miroslav Šnajdr

Book

3 401 Ft

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

Paperback

8 086 Ft

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

Hardback

12 040 Ft

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.