Model checking agent programming languages

Automated Software Engineering 2012 / 03 Vol. 19; Iss. 1

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
19
Langue:
english
Pages:
59
DOI:
10.1007/s10515-011-0088-x
Date:
March, 2012
Fichier:
PDF, 1.59 MB
english, 2012
La conversion en est effectuée
La conversion en a échoué