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

Mehdi Dastani
Specification and Verification of Multi-agent Systems 2010 edition

Preço
S$ 218,36

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de dez - 2 de jan de 2026
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:

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de outubro de 2014
ISBN13 9781489990884
Editoras Springer-Verlag New York Inc.
Páginas 405
Dimensões 155 × 235 × 22 mm   ·   639 g
Idioma Inglês  
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 )