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

SAVCBS 2003: Specification and Verification of Component-Based Systems

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T.

Digital Repository @ Iowa State University 2003

Texto completo disponível

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

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T. ; Sharygina, Natasha

Digital Repository @ Iowa State University 2004

Texto completo disponível

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

SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T. ; Sharygina, Natasha

Digital Repository @ Iowa State University 2005

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.