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 116,10

13 Neuf

De EUR 51,02

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 116,10

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

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 51,02

Exp�dition �EUR 3,32
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 51,02

Exp�dition �EUR 3,32
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 52,17

Exp�dition �EUR 2,20
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 63,41

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 (Paperback)

Catuscia Palamidessi

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2014

ISBN 10 : 3662436124 ISBN 13 : 9783662436127

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783662436127

Contacter le vendeur

Acheter neuf

EUR 69,83

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

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 : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783662436127_new

Contacter le vendeur

Acheter neuf

EUR 58,41

Exp�dition �EUR 13,78
Exp�dition depuis Royaume-Uni vers 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 56,57

Exp�dition �EUR 17,82
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

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

Exp�dition �EUR 23
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

�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 59,51

Exp�dition �EUR 17,25
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

�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

Exp�dition �EUR 48,99
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

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre