Specification And Verification Of Multi-agent Systems
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | July 20, 2010 |
| Editors | John-Jules Ch Meyer |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1866662 |
About Specification And Verification Of Multi-agent Systems
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. . . .