JORGE JESÚS
GÓMEZ SANZ
Profesor titular de universidad
North Carolina State University
Raleigh, Estados UnidosPublications en collaboration avec des chercheurs de North Carolina State University (1)
2011
-
Formal methods in agent-oriented software engineering
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)