Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567776
Price: 51.61 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783540688624

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Gilles Barthe

Langue

Anglais

Livre Livre de poche

Code Libristo: 01567776

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2008

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Description détaillée

Code Libristo: 01567776

125 b

51.61 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La Caída de Porthos Embilea,: El País de la Niebla 2 Galán

Livre de poche

17.87 €

Al final mueren los dos SILVERA

Livre de poche

8.68 €

Policarpo Bonilla

Livre de poche

11.51 €

Ravenmaster Nina Blazon

Livre relié

17.36 €

Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов

Livre de poche

22.62 €

Polítiques d'inserció sociolaboral Rosell Morales

Livre de poche

25.24 €

Jóga Rhyner Hans H.

Livre de poche

9.28 €

Koruna Evropy Jaromír Zaoral

Livre relié

21.40 €

QUI A TUE LE PETIT CANICHE Livre

Livre de poche

14.84 €

Návrat k Bohu Karl Jakob Hirsch

Livre relié

9.48 €

Einführung in Body-Mind Centering Christine Mauch

Livre de poche

37.77 €

Argumente kontra Religion Gottfried Beyvers

Livre de poche

14.43 €

La isla en el horizonte Echavarría (Puerto Rico)

Livre de poche

17.77 €

Il principe. Audiolibro. CD Audio formato MP3 C. Carini

Livre de poche

17.16 €

Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas

Livre de poche

25.24 €

millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley

Livre de poche

14.94 €

O Bairro de Gonçalo M. Tavares Fabiano Cardoso

Livre de poche

48.88 €

Branche Versicherungen Gbi Genios

Livre de poche

44.54 €

Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog

Livre de poche

49.89 €

Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine

Livre relié

22.31 €

Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider

Livre de poche

16.15 €

Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez

Livre de poche

45.55 €

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.