Ebooks de John-Jules Meyer en PDF

1 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 €