Formal Techniques for Distributed Objects, Components, and Systems - Couverture souple

9783662436127: Formal Techniques for Distributed Objects, Components, and Systems

Couverture souple

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Editeur : Springer, 2014

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 114,89

10 Neuf

De EUR 52,21

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2014
Langue: anglais
ISBN 10: 3662436124
ISBN 13: 9783662436127
Reliure: Broch�
Nombre de pages: 316
�diteur: �brah�m Erika, Palamidessi Catuscia
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 114,89

EUR 17,07 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 52,21

EUR 3,40 shipping
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Formal Techniques for Distributed Objects, Components,...

Image d'archives

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... (Programming and Software Engineering)

Edit� par Springer, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020314132

Contacter le vendeur

Acheter neuf

EUR 52,21

EUR 3,40 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

�brah�m, Erika (EDT); Palamidessi, Catuscia (EDT)

Edit� par Springer, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 21305745-n

Contacter le vendeur

Acheter neuf

EUR 53,39

EUR 2,25 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... (Programming and Software Engineering)

Edit� par Springer, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783662436127

Contacter le vendeur

Acheter neuf

EUR 64,89

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)

Erika Abrah�m, Catuscia Palamidessi

Edit� par Springer 2014-05-21, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783662436127

Contacter le vendeur

Acheter neuf

EUR 55,98

EUR 17,63 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

�brah�m, Erika (EDT); Palamidessi, Catuscia (EDT)

Edit� par Springer, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 21305745-n

Contacter le vendeur

Acheter neuf

EUR 58,90

EUR 17,07 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

Catuscia Palamidessi

Edit� par Springer Berlin Heidelberg Mai 2014, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction. 316 pp. Englisch. N� de r�f. du vendeur 9783662436127

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 23 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

�brah�m, Erika|Palamidessi, Catuscia

Edit� par Springer Berlin Heidelberg, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Confer. N� de r�f. du vendeur 5227457

Contacter le vendeur

Acheter neuf

EUR 48,37

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

Catuscia Palamidessi

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2014, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch. N� de r�f. du vendeur 9783662436127

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 60 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Catuscia Palamidessi

Edit� par Springer Berlin Heidelberg, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction. N� de r�f. du vendeur 9783662436127

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 62,41 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems | 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Erika �brah�m (u. a.)

Edit� par Springer, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Formal Techniques for Distributed Objects, Components, and Systems | 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings | Erika �brah�m (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783662436127 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 105317167

Contacter le vendeur

Acheter neuf

EUR 50,35

EUR 70 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre