Mostrando 1 - 7 resultados de 7 para a busca '(( coder and component contract program ) OR ( using modeling vpython python programming ))*', tempo de busca: 0,82s Refinar Resultados
3
Publicado em 2011
Assuntos: ...Program verification...
Acessar documento
5
Publicado em 2010
... of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding...
Acessar documento
Artigo
7
Publicado em 2012
... of uncovered defects. A systematic review was planned and executed, based on formu- lated questions...
Acessar documento
Dissertação
Exportar CSV Export RIS