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
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.
"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.
Comprar nuevo
Ver este artículo
EUR 41,35
EUR 51,62 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 51,62
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: 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 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, stanfo
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 757341-n
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 13,74
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 Distributed Systems (Fmoods 2000) : September 6-8, 2000, stanfo
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 757341-n
Gastos de envío:
EUR 17,21
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 Distributed Systems (Fmoods 2000) : September 6-8, 2000, stanfo
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 757341
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, stanfo
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 757341
Gastos de envío:
EUR 17,21
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: 4 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 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: 4 disponibles
Imagen de archivo
Formal Methods for Open Object-Based Distributed Systems IV
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 432 Illus. Nº de ref. del artículo: 5829132
Gastos de envío:
EUR 7,46
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles