Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 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: 53.79 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01661349

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2012

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

Codice Libristo: 01661349

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

Rigido

12.69 €

La vie est un songe Calderón de la Barca

In brossura

8.29 €

GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA

In brossura

57.19 €

Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal

In brossura

66.99 €

Disi Kurtlar Thomas Narcejac

In brossura

12.69 €

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

In brossura

9.29 €

JOHANNES KEPLER MAX CASPAR

In brossura

23.89 €

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

In brossura

51.19 €

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

In brossura

16.49 €

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

In brossura

32.09 €

Die Krankenschwester, Großdruck Valerie Nilon

In brossura

12.39 €

Beletrie pro děti Josef Čapek

Rigido

17.19 €

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

In brossura

8.99 €

Medizinische Informatik und Bioinformatik Martin Dugas

In brossura

34.59 €

iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze

In brossura

16.89 €

Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust

In brossura

16.89 €

Wege suchen - Grenzen erfahren Hartmut Diegel

In brossura

14.09 €

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

In brossura

30.29 €

Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann

In brossura

83.79 €

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

In brossura

18.09 €

Música en imágenes Ezquerro Esteban

In brossura

36.19 €

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

In brossura

100.69 €

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

Rigido

16.89 €

FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande

In brossura

10.39 €

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.