Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Livros - Cambridge University Press - 9780521771849 - 22 de outubro de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 176,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 24 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 22 de outubro de 2001
ISBN13 9780521771849
Editoras Cambridge University Press
Páginas 492
Dimensões 178 × 254 × 27 mm   ·   1,02 kg
Idioma Inglês  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver