Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-3 de um total de 3 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
2004Bounded version vectorsAlmeida, José Bacelar; Almeida, Paulo Sérgio; Baquero, CarlosCapítulo de livroAcesso aberto
Jan-2014Experimenting with Predicate AbstractionMiraldo, Victor CacciariRelatórioAcesso aberto
1-3 de um total de 3 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir