Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Livros - Cambridge University Press - 9780521168755 - 21 de julho de 2011
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

Howard Bowman

Preço
₪ 236
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de jul - 5 de ago

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

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

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.

492 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de julho de 2011
ISBN13 9780521168755
Editoras Cambridge University Press
Páginas 492
Dimensões 178 × 254 × 25 mm   ·   850 g
Idioma English  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)
Mostrar tudo

Mais por Howard Bowman

Ver tudo de Howard Bowman ( por exemplo Hardcover Book e Paperback Book )