Formal Techniques for Distributed Systems - Couverture souple

9783642307928: Formal Techniques for Distributed Systems

Couverture souple

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Editeur : Springer, 2012

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 108,37

11 Neuf

De EUR 58,07

This book constitutes the refereed proceedings of the 14th I.F.I.P. W.G. 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMoods 2012, and the 32nd I.F.I.P. W.G. 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.

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

�diteur: Springer
Date d'�dition: 2012
Langue: anglais
ISBN 10: 3642307922
ISBN 13: 9783642307928
Reliure: Broch�
Nombre de pages: 284
�diteur: Giese Holger, Rosu Grigore
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Comme neuf

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS...

Afficher cet article

EUR 108,37

Exp�dition �EUR 28,59
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 58,07

Exp�dition �EUR 13,70
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Formal Techniques for Distributed Systems

Image d'archives

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 7273)

Edit� par Springer, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

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 ria9783642307928_new

Contacter le vendeur

Acheter neuf

EUR 58,07

Exp�dition �EUR 13,70
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference

Giese, Holger

Edit� par Springer 2012-05, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783642307928

Contacter le vendeur

Acheter neuf

EUR 56,26

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

Grigore Rosu

Edit� par Springer Berlin Heidelberg Mai 2012, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

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 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. 284 pp. Englisch. N� de r�f. du vendeur 9783642307928

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 d'archives

Formal Techniques for Distributed Systems: 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,

Giese, Holger (Editor)/ Rosu, Grigore (Editor)

Edit� par Springer-Verlag New York Inc, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 2012 edition. 267 pages. 9.25x5.75x0.75 inches. In Stock. N� de r�f. du vendeur x-3642307922

Contacter le vendeur

Acheter neuf

EUR 77,46

Exp�dition �EUR 11,44
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Systems

Giese, Holger|Rosu, Grigore

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. N� de r�f. du vendeur 5056368

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 Systems

Grigore Rosu

Edit� par Springer Berlin Heidelberg, J.B. Metzler Mai 2012, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. N� de r�f. du vendeur 9783642307928

Contacter le vendeur

Acheter neuf

EUR 53,49

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Systems : 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

Grigore Rosu

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

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 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. N� de r�f. du vendeur 9783642307928

Contacter le vendeur

Acheter neuf

EUR 53,49

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Systems | 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 (u. a.)

Edit� par Springer, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Formal Techniques for Distributed Systems | 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 (u. a.) | Taschenbuch | xiii | Englisch | 2012 | Springer | EAN 9783642307928 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N� de r�f. du vendeur 106432912

Contacter le vendeur

Acheter neuf

EUR 50,25

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Systems

Edit� par Springer, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 284. N� de r�f. du vendeur 2648032366

Contacter le vendeur

Acheter neuf

EUR 130,37

Exp�dition �EUR 3,38
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, . (Lecture Notes in Computer Science, 7273)

Edit� par Springer, 2012

ISBN 10 : 3642307922 ISBN 13 : 9783642307928

Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N� de r�f. du vendeur ERICA79636423079226

Contacter le vendeur

Acheter D'occasion

EUR 108,37

Exp�dition �EUR 28,59
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre