Télécharger le livre :  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. This edited volume includes contributions from...

Editeur : Springer
Parution : 2010-07-20
PDF

169,39

Téléchargement immédiat
Dès validation de votre commande