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 Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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: 01661349
Price: 19766 HUF
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

136 b

19 766 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Hardback

4 425 Ft

La vie est un songe Calderón de la Barca

Paperback

2 795 Ft

GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA

Paperback

19 417 Ft

Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal

Paperback

24 673 Ft

Disi Kurtlar Thomas Narcejac

Paperback

4 645 Ft

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

Paperback

3 131 Ft

JOHANNES KEPLER MAX CASPAR

Paperback

8 501 Ft

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

Paperback

18 866 Ft

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

Paperback

6 114 Ft

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

Paperback

10 929 Ft

Die Krankenschwester, Großdruck Valerie Nilon

Paperback

4 558 Ft

Beletrie pro děti Josef Čapek

Hardback

5 779 Ft

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

Paperback

3 030 Ft

Medizinische Informatik und Bioinformatik Martin Dugas

Paperback

12 706 Ft

iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze

Paperback

6 229 Ft

Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust

Paperback

6 229 Ft

Wege suchen - Grenzen erfahren Hartmut Diegel

Paperback

5 196 Ft

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

Paperback

11 163 Ft

Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann

Paperback

30 828 Ft

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

Paperback

6 624 Ft

Música en imágenes Ezquerro Esteban

Paperback

12 926 Ft

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

Paperback

37 016 Ft

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

Hardback

5 706 Ft

FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande

Paperback

3 714 Ft

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.