Specification and Verification of Multi-agent Systems - Mehdi Dastani - Libros - Springer-Verlag New York Inc. - 9781441969835 - 6 de agosto de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 3.234
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 20 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Mehdi Dastani

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

Aún no valorado

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 6 de agosto de 2010
ISBN13 9781441969835
Editores Springer-Verlag New York Inc.
Género Aspects (Academic) > Science / Technology Aspects
Páginas 405
Dimensiones 165 × 233 × 31 mm   ·   766 g
Lengua Inglés  
Editor Dastani, Mehdi
Editor Hindriks, Koen V.
Editor Meyer, John-Jules

Más del mismo editor

Ver todo de Mehdi Dastani ( Ej. Paperback Book y Hardcover Book )