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:	9781441969835
Editie:	2010 ed.
Land van oorsprong:	United States
Prijs:	€ 165.04
Verschijningsdatum:	29-07-2010
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

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

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	405
Hoogte mm.:	233
Breedte mm.:	165
Dikte mm.:	31
Gewicht gr.:	762

 

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.