Articles liés à Formal Methods for Open Object Based Distribution Systems
Synopsis
Formal Methods for Open Object-based Distributed Systems: Volume 2 Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurChapman and Hall
- Date d'édition1997
- ISBN 10 0412820404
- ISBN 13 9780412820403
- ReliureRelié
- Langueanglais
- Nombre de pages470
- ÉditeurBowman Howard, Derrick John
Acheter neuf
Afficher cet article
EUR 128,40
Gratuit expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Formal Methods for Open Object Based Distribution Systems
Image d'archives
Formal Methods For Open Object-based Distributed Systems, Volume 2
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-91783
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Open Object-based Distributed Systems, Volume 2
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-85753
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Open Object-Based Distributed Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 488. N° de réf. du vendeur 263062638
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Open Object-Based Distributed Systems
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 488 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 5833905
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Open Object-Based Distributed Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 488. N° de réf. du vendeur 183062628
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2215580181233
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780412820403_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods for Open Object-Based Distributed Systems: Volume 2
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book ca. N° de réf. du vendeur 458435442
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)
Edité par
Springer, 1997
ISBN 10 : 0412820404
ISBN 13 : 9780412820403
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA75804128204045
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods for Open Object-Based Distributed Systems : Volume 2
Edité par
Springer Us Jun 1997, 1997
ISBN 10 : 0412820404
ISBN 13 : 9780412820403
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware - This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods. N° de réf. du vendeur 9780412820403
Quantité disponible : 2 disponible(s)