skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
UPF_Term
Material Type:
Web Resource
Adicionar ao Meu Espaço

UPF_Term

Institut Universitari de Lingstica Aplicada ; Institut Universitari de Lingüística Aplicada

Institut Universitari de Lingüística Aplicada

Texto completo disponível

2
Roadmap for enhanced languages and methods to aid verification
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Roadmap for enhanced languages and methods to aid verification

Leavens, Gary T. ; Abrial, Jean-Raymond ; Batory, Don ; Butler, Michael ; Coglio, Alessandro ; Fisler, Kathi ; Hehner, Eric ; Jones, Cliff ; Miller, Dale ; Peyton-Jones, Simon ; Sitaraman, Murali ; Smith, Douglas R. ; Stump, Aaron

Generative Programming And Component Engineering: Proceedings of the 5th international conference on Generative programming and component engineering; 22-26 Oct. 2006, 2006, p.221-236

New York, NY, USA: ACM

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.