Ebooks de Mehdi Dastani en PDF

3 Livre(s)
Télécharger le livre : Specification and Verification of Multi-agent Systems
Ajouter à ma liste d'envies
Specification and Verification of Multi-agent Systems
Mehdi Dastani , Koen V. Hindriks , John-Jules Meyer
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. This edited volume includes contributions from...

Editeur : Springer
Parution : 2010-07-20

PDF

147,69 €
Télécharger le livre : Multi-Agent Programming:
Ajouter à ma liste d'envies
Multi-Agent Programming:
Rafael H. Bordini , Mehdi Dastani , Jürgen Dix , Amal El Fallah Seghrouchni
Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concepts (concerning both mental and social attitudes), architectures,...

Editeur : Springer
Parution : 2009-06-13

PDF

105,49 €
Télécharger le livre : Multi-Agent Programming
Ajouter à ma liste d'envies
Multi-Agent Programming
Rafael H. Bordini , Mehdi Dastani , Jürgen Dix , Amal El Fallah Seghrouchni
Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specifyMulti-Agent Systems, this book...

Editeur : Springer
Parution : 2005-11-21

PDF

147,69 €