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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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 Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649869
Price: 19902 HUF
Availability: InStock
Author: David Lee
ISBN: 9783642021374

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

David Lee

Antonia Lopes

Arnd Poetzsch-Heffter

Language

English

Book Paperback

Libristo code: 01649869

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2009

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Full description

Libristo code: 01649869

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books

Paperback

6 332 Ft

Ein neues Leben Antje Rávik Strubel

Hardback

8 370 Ft

Ammiraglia di tutte le zattere Paolo Colavero

Paperback

7 284 Ft

Gomma di Tamarindo Chandana S

Paperback

27 597 Ft

Finitud y tiempo Julian Serna Arango

Adobe ePub DRM

1 553 Ft

El amor, el sexo y el matrimonio DOVAL

Book

4 428 Ft

Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad

binding.

8 869 Ft

Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago

Paperback

15 243 Ft

Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius

Paperback

13 089 Ft

Caballos salvajes JORDI CUSSA

Audio CD

9 627 Ft

Repetitorium Schmerztherapie Michael Hatzenbühler

Paperback

23 669 Ft

Palabras con corazón María Eugenia Manrique

Paperback

8 019 Ft

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.