Fortæl dine venner om denne vare:
Specification and Verification of Multi-agent Systems Mehdi Dastani 2010 edition
Pris
DKK 1.275
Bestilles fra fjernlager
Forventes klar til forsendelse 5. - 9. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Specification and Verification of Multi-agent Systems
Mehdi Dastani
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 20. oktober 2014 |
| ISBN13 | 9781489990884 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 405 |
| Mål | 155 × 235 × 22 mm · 639 g |
| Sprog | Engelsk |
| Klipper/redaktør | Dastani, Mehdi |
| Klipper/redaktør | Hindriks, Koen V. |
| Klipper/redaktør | Meyer, John-Jules |
![Cover for Mehdi Dastani · Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/571/9783540850571.jpg?mehdi-dastani-2008-languages-methodologies-and-development-tools-for-multi-agent-systems-first-international-workshop-lads-2007-durham-uk-september-4-6-2007-revised-selected-papers-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1526452608)
![Cover for Mehdi Dastani · Programming Multi-Agent Systems: Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers - Lecture Notes in Artificial Intelligence (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/426/9783540790426.jpg?mehdi-dastani-2008-programming-multi-agent-systems-fifth-international-workshop-promas-2007-honolulu-hi-usa-may-14-18-2007-revised-and-invited-papers-lecture-notes-in-artificial-intelligence-paperback-bog&class=scaled&v=1430142376)