Artículos relacionados a Formal Methods for Open Object-Based Distributed Systems...
Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology) - Tapa dura
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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.
Papers in this volume focus on the following specific technologies:
- components;
- mobile code;
- Java®;
- The Unified Modeling Language (UML);
- refinement of specifications;
- types and subtyping;
- temporal and probabilistic systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2000
- ISBN 10 0792379233
- ISBN 13 9780792379232
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas432
- EditorSmith Scott F., Talcott Carolyn L.
Comprar nuevo
Ver este artículo
EUR 42,45
EUR 52,99 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Methods for Open Object-Based Distributed Systems...
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems: v. 4 (IFIP International Federation for Information Processing)
Publicado por
Kluwer Academic Publishers, 2000
ISBN 10: 0792379233
ISBN 13: 9780792379232
Nuevo
Tapa dura
Librería: New Book Sale, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Nº de ref. del artículo: 0792379233--22
Gastos de envío:
EUR 52,99
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 432. Nº de ref. del artículo: 263100115
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 432 Illus. Nº de ref. del artículo: 5829132
Gastos de envío:
EUR 7,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 432. Nº de ref. del artículo: 183100121
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190184879
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780792379232_new
Gastos de envío:
EUR 14,11
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry . Nº de ref. del artículo: 458442399
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware - Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000. Nº de ref. del artículo: 9780792379232
Gastos de envío:
EUR 31,87
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles