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 - Ifip Advances in Inform - International Conference on Formal Methods for Open Object-based Distributed Systems - Libros - Kluwer Academic Publishers - 9780792379232 - 31 de agosto de 2000
En caso de que portada y título no coincidan, el título será el correcto

International Conference on 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 Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

Precio
$ 236,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.

429 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de agosto de 2000
ISBN13 9780792379232
Editores Kluwer Academic Publishers
Páginas 429
Dimensiones 156 × 234 × 23 mm   ·   775 g
Editor Smith, Scott F.
Editor Talcott, Carolyn L.

Mas por International Conference on Formal Methods for Open Object-based Distributed Systems

Mostrar todo

Mere med samme udgiver

Ver todo de International Conference on Formal Methods for Open Object-based Distributed Systems ( Ej. Hardcover Book )