Fortell venner om denne varen:
Specification and Verification of Multi-agent Systems Mehdi Dastani 2010 edition
Pris
Mex$ 2.907
Bestillingsvarer
Forventes levert 17. - 25. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes 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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 20. oktober 2014 |
| ISBN13 | 9781489990884 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 405 |
| Mål | 155 × 235 × 22 mm · 639 g |
| Språk | Engelsk |
| Redaktør | Dastani, Mehdi |
| Redaktør | Hindriks, Koen V. |
| 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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1430142376)