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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

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: 181.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

444 b

181.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

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

Paperback

29.79 €

¿Es posible hacer revivir al mamut? Tassy

binding.

2.09 €

El hierro en la ijada Alonso Crespo

binding.

2.59 €

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

Paperback

42.69 €

Rituel de la maçonnerie égyptienne BALSAMO GIUSEPPE

Paperback

15.69 €

Ihre Hingabe Anna Stone

Paperback

14.99 €

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

Paperback

15.99 €

oroscopo 2024 Paolo Fox

Paperback

9.19 €

Arwel Hughes: Dewi Sant

Audio CD

21.99 €

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

Paperback

76.09 €

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

Paperback

18.19 €

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 €

Schmerzdokumentation in Der Praxis Erdmute Pioch

Paperback

37.99 €

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

Paperback

30.39 €

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

Paperback

21.99 €

sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg

Paperback

47.95 €

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

Paperback

1.09 €

Neid Ernst Von Wildenbruch

Hardback

42.90 €

3 Dani Jensen

Paperback

16.19 €

El llibre de la tardor DD.AA

Hardback

5.89 €

Dunia, Malgre Tout Jean-Claude Uwiringiyimana

Paperback

15.39 €

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.