skip to main content
Primo Search
Search in: Busca Geral

Teste e verificação formal do comportamento excepcional de programas Java

Alexandre Locci Martins Ana Cristina Vieira de Melo

2014

Localização: IME - Inst. Matemática e Estatística    (IME-T QA752.T M386t e.1 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.