Utilize este identificador para citar ou criar um atalho para este documento: http://hdl.handle.net/10923/14031
Tipo: conferenceObject
Título: Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School
Autor(es): Rafael Heitor Bordini
In: Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Revised Selected and Invited Papers, 2011, Alemanha.
Data de Publicação: 2012
URI: http://hdl.handle.net/10923/14031
Aparece nas Coleções:Apresentação em Evento



Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.