Free delivery for orders over 69.99 euro.

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 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661349
Price: 51.75 EUR
Availability: InStock
Author: Holger Giese
ISBN: 9783642307928

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Holger Giese

Grigore Rosu

Language

English

Book Paperback

Libristo code: 01661349

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

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

Libristo code: 01661349

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

S přáteli i v archivech - Sborník k sedmdesátinám historika Jindřicha Marka Prokop Tomek

Hardback

12.24 €

La vie est un songe Calderón de la Barca

Paperback

7.89 €

GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA

Paperback

55.19 €

Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal

Paperback

64.10 €

Disi Kurtlar Thomas Narcejac

Paperback

12.24 €

Сила мысли. Сборник устных комментариев Мастера к наставлениям Свами Шивананды Свами Вишнудэвананда

Paperback

8.90 €

JOHANNES KEPLER MAX CASPAR

Paperback

24.20 €

Estudio de Factibilidad de Un Food Truck en la Ciudad de Manizales Juan Felipe Rendon Duque

Paperback

49.01 €

Esperanza. La Autobiografía: Memorias del Papa Francisco / Hope

Paperback

15.79 €

Les vingt tournages qui ont changé le cinéma Olivier Rajchman

Paperback

31.08 €

Die Krankenschwester, Großdruck Valerie Nilon

Paperback

11.84 €

Beletrie pro děti Josef Čapek

Hardback

16.40 €

Zdravě jíme, nevaříme Judita Hofhanzlová

Paperback

8.60 €

Medizinische Informatik und Bioinformatik Martin Dugas

Paperback

33.21 €

iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze

Paperback

16.20 €

Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust

Paperback

16.20 €

Wege suchen - Grenzen erfahren Hartmut Diegel

Paperback

13.56 €

Flore Medicale, Volume 1... Franc Ois Pierre Chaumeton

Paperback

28.86 €

Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann

Paperback

80.10 €

Femme Et La Democratie de Nos Temps Allart De Meritens-H

Paperback

17.41 €

Música en imágenes Ezquerro Esteban

Paperback

36.76 €

Medicina general. Diagnóstico en oncología Alejandra Guerrero Álvarez

Paperback

96.61 €

Sirotčinec slečny Peregrinové pro podivné děti Ransom Riggs

Hardback

16.20 €

FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande

Paperback

10.52 €

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.