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 :-(

Formal Techniques for Networked and Distributed Systems, 1

Name: Formal Techniques for Networked and Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254230
Price: 214.29 EUR
Availability: InStock
Author: yungchul Kim
ISBN: 9781475788259

FORTE 2001

Language

English

Book Paperback

Libristo code: 02254230

Publishers Springer, Berlin, June 2013

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

Libristo code: 02254230

524 b

214.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Ihre Hingabe Anna Stone

Paperback

14.99 €

oroscopo 2024 Paolo Fox

Paperback

12.49 €

FERNSTUDIENHEIT 28: Spiele im Deutschunterricht Dorothea Lévy-Hillerich

Paperback

22.89 €

L'efficacia del sistema di controllo di sicurezza dell'aeroporto in Namibia Pandeni Kandjabanga Shimweefeleni

Paperback

51.19 €

El hierro en la ijada Alonso Crespo

binding.

3.29 €

Le régime consensualiste dans la constitution congolaise du 25 octobre 2015 Makosso

Paperback

38.89 €

El Procedimiento Penal En El Fuero Federal (1897) Jose E. Arena

Paperback

21.99 €

Královna a divoška Anselm Grün

Paperback

10.49 €

deutsche TV-Markt im Wandel Bartosz Mazur

Paperback

39.99 €

Losungsorientierte Kinesiologie Stefan Strobl

Paperback

14.95 €

Sie waren auch Helden: die Frauen und Mütter Gerhard Kroll

Paperback

29.90 €

Bordtagebuch Luciano Premoso

Paperback

17.50 €

El llibre de la tardor DD.AA

Hardback

6.59 €

3 Dani Jensen

Paperback

20.09 €

Jan Van Ruusbroec: de Mystieke Vereniging Met God Paul Mommaers

Paperback

36.59 €

Les Pamphlets de la Fin de l'Empire, Des Cent-Jours Et de la Restauration Germond De LaVigne

Paperback

21.99 €

Čti+ Co je v poště? neuvedený autor

Paperback

1.19 €

sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg

Paperback

47.95 €

Schmerzdokumentation in Der Praxis Erdmute Pioch

Paperback

37.99 €

Du Pilotage d'Un Parc Patrimonial Immobilier Par Les Risques Franck Taillandier

Paperback

91.29 €

Cambio Institucional. La Peninsula de Baja California, S. XVIII-XIX María Elena Nancy Dávila Moreno

Paperback

36.49 €

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.