skip to main content

Structural testing for semaphore-based multithread programs

Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)

Lecture Notes in Computer Science v. 5101, p. 337-346, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

ICMC - Inst. Ciên. Mat. Computação (PROD-1674906 ) Disponível na Biblioteca
Local Número de chamada Descrição Status / Emprestado até Código de barras Tipo de item Opções de solicitação
PROD-1674906 Item disponível 1674906-10 DOCUMENTO IMPRESSO
Select Request Option:
  • Localização: ICMC-Inst. C. Mat. Computaçã
  • Número de chamada: PROD-1674906
  • Status: Item disponível
  • Código de Barras: 1674906-10
  • Tipo de item: DOCUMENTO IMPRESSO
  • Status de item: PCD - não circula
  • Exemplar: 1

Buscando em bases de dados remotas. Favor aguardar.