Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Libros - Cambridge University Press - 9780521771849 - 22 de octubre de 2001
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Precio
€ 172,99

Pedido desde almacén remoto

Entrega prevista 10 - 24 de jun.

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

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

490 pages, illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 22 de octubre de 2001
ISBN13 9780521771849
Editores Cambridge University Press
Páginas 492
Dimensiones 178 × 254 × 27 mm   ·   1,02 kg
Lengua Inglés  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver