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

A Type Notation for Scheme

Leavens, Gary T. ; Clifton, Curtis

Digital Repository @ Iowa State University 2005

Texto completo disponível

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

A Type Notation for Scheme

Leavens, Gary T. ; Clifton, Curtis ; Dorn, Brian

Digital Repository @ Iowa State University 2005

Texto completo disponível

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

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004

Clifton, Curtis ; Laemmel, Ralf ; Leavens, Gary T.

Digital Repository @ Iowa State University 2004

Texto completo disponível

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

FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005

Clifton, Curtis ; Laemmel, Ralf ; Leavens, Gary T.

Digital Repository @ Iowa State University 2005

Texto completo disponível

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

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Leavens, Gary T. ; Cheon, Yoonsik ; Clifton, Curtis ; Ruby, Clyde ; Cok, David R.

Digital Repository @ Iowa State University 2004

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Clifton, Curtis
  2. Leavens, Gary T.
  3. Laemmel, Ralf
  4. Cheon, Yoonsik
  5. Cok, David R.

Buscando em bases de dados remotas. Favor aguardar.