Specification and Verification of Multi-agent Systems

Name: Specification and Verification of Multi-agent Systems
Brand: Springer-Verlag New York Inc.
SKU: 9781489990884
Price: 58426 HUF
Availability: InStock

Szerző: Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

58 426 Ft

Written by leading experts in the field, this volume presents a coherent treatment of the area of fo...

Információk a könyvről

Szerző

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

405

EAN

9781489990884

ISBN

9781489990884

Enbook ID

09062369

Kiadó

Springer-Verlag New York Inc.

Súly

646

Méretek

155 x 22 x 235

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Specification and Verification of Multi-agent Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták