Tous les ebooks de Mehdi Dastani en PDF


3  résultat(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...

Parution : 2010-07-20
Format(s) : PDF
Éditeur : Springer
J'achète
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,...

Parution : 2009-06-13
Format(s) : PDF
Éditeur : Springer
J'achète
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...

Parution : 2005-11-21
Format(s) : PDF
Éditeur : Springer
J'achète
147,69 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés