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, 1

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

563 b

84 758 Ft

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

Up to 30 days for returns

Customers also purchased

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

Paperback

7 342 Ft

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

Paperback

14 840 Ft

¿Es posible hacer revivir al mamut? Tassy

binding.

769 Ft

El hierro en la ijada Alonso Crespo

binding.

1 025 Ft

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

Paperback

19 505 Ft

Rituel de la maçonnerie égyptienne BALSAMO GIUSEPPE

Paperback

7 180 Ft

Ihre Hingabe Anna Stone

Paperback

5 401 Ft

oroscopo 2024 Paolo Fox

Paperback

4 333 Ft

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

Paperback

8 338 Ft

deutsche TV-Markt im Wandel Bartosz Mazur

Paperback

14 237 Ft

Královna a divoška Anselm Grün

Paperback

3 640 Ft

Losungsorientierte Kinesiologie Stefan Strobl

Paperback

5 386 Ft

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

Paperback

10 668 Ft

Bordtagebuch Luciano Premoso

Paperback

6 293 Ft

El llibre de la tardor DD.AA

Hardback

2 425 Ft

3 Dani Jensen

Paperback

7 617 Ft

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

Paperback

7 014 Ft

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

Paperback

437 Ft

Schmerzdokumentation in Der Praxis Erdmute Pioch

Paperback

14 265 Ft

sicherheits- und entwicklungspolitischen Herausforderungen des Klimawandels Florian Hideg

Paperback

17 051 Ft

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

Paperback

34 734 Ft

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

Paperback

13 891 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.