skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover autor: Shaner, Steve M. remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Reconciling Trust and Modularity Goals in Web Services

Rajan, Hridesh ; Tao, Jia ; Shaner, Steve M. ; Leavens, Gary T.

Digital Repository @ Iowa State University 2009

Texto completo disponível

2
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs

Shaner, Steve M. ; Leavens, Gary T. ; Naumann, David A.

Digital Repository @ Iowa State University 2007

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.