Specification and Verification of Multi-agent Systems
- Författare
- Mehdi. Dastani
- (Edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer US | 2010 | USA, Boston, MA | 978-1-4419-6984-2 |