Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. 292 pp. Englisch. N� de r�f. du vendeur 9781475752687

Contacter le vendeur

Acheter neuf

EUR 106,99

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

Edit� par Springer, 2013

ISBN 10 : 1475752687 ISBN 13 : 9781475752687

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 ria9781475752687_new

Contacter le vendeur

Acheter neuf

EUR 118,39

Autre devise

Frais de port : EUR 14,11

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods for Open Object-Based Distributed Systems V

Jacobs, Bart|Rensink, Arend

Edit� par Springer US, 2013

ISBN 10 : 1475752687 ISBN 13 : 9781475752687

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods Distributed systems Object-based technology.Such a convergence is represen. N� de r�f. du vendeur 4207370

Contacter le vendeur

Acheter neuf

EUR 92,27

Autre devise

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands

Arend Rensink

Edit� par Springer US, Springer US, 2013

ISBN 10 : 1475752687 ISBN 13 : 9781475752687

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 - Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. N� de r�f. du vendeur 9781475752687

Contacter le vendeur

Acheter neuf

EUR 111,53

Autre devise

Frais de port : EUR 31,58

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods for Open Object-Based Distributed Systems V

Edit� par Springer, 2013

ISBN 10 : 1475752687 ISBN 13 : 9781475752687

Neuf Couverture souple

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

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 292. N� de r�f. du vendeur 2697854310

Contacter le vendeur

Acheter neuf

EUR 144,49

Autre devise

Frais de port : EUR 3,52

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands

Bart Jacobs

Edit� par Springer-Verlag New York Inc., 2013

ISBN 10 : 1475752687 ISBN 13 : 9781475752687

Neuf Paperback / softback

impression � la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 693. N� de r�f. du vendeur C9781475752687

Contacter le vendeur