Specification and Verification of Multi-agent Systems - Mehdi Dastani - Livros - Springer-Verlag New York Inc. - 9781441969835 - 6 de agosto de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Specification and Verification of Multi-agent Systems 2010 edition

Mehdi Dastani

Preço
R$ 1.040,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 13 - 20 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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

Também disponível como:

Specification and Verification of Multi-agent Systems 2010 edition

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

405 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 6 de agosto de 2010
ISBN13 9781441969835
Editoras Springer-Verlag New York Inc.
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 405
Dimensões 165 × 233 × 31 mm   ·   766 g
Editor Dastani, Mehdi
Editor Hindriks, Koen V.
Editor Meyer, John-Jules
Mostrar tudo

Mais por Mehdi Dastani

Ver tudo de Mehdi Dastani ( por exemplo Paperback Book e Hardcover Book )