Bestellen Terug

Hoofdkenmerken

Auteur:	Meyer, John-Jules
Redactie:	Meyer, John-Jules
Redacteur:	Dastani, Mehdi
Titel:	Specification and Verification of Multi-agent Systems
Uitgever:	Springer-Verlag New York Inc.
ISBN:	9781489990884
Editie:	2010 ed.
Land van oorsprong:	United States
Prijs:	€ 181.02
Verschijningsdatum:	20-10-2014
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Artificial intelligence
Geillustreerd:	XVII, 405 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	405
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	646

 

Inhoud:

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.