Specification and Verification of Multi-agent Systemsde Mehdi DastaniMateriasSoftware engineeringElectronic data processingComputer scienceArtificial intelligenceMultiagent systemsComputer software, verificationIntelligent agents (computer software)Operating systems (computers)Ediciones (2)
Programming Multiagent Systems 5th International Workshop Promas 2007 Honolulu Hi Usa May 15 2007 Revised And Invited Papers
Multi-Agent Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations Book 15)
