skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Recursos Textuais remover autor: Leavens, Gary T. remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

An Overview of Larch/C++: Behavioral Specifications for C++ Modules

Leavens, Gary T.

Digital Repository @ Iowa State University 1996

Texto completo disponível

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

Gentle Introduction to Larch / Smalltalk Specification Browsers

Cheon, Yoonsik ; Leavens, Gary T.

Digital Repository @ Iowa State University 1994

Texto completo disponível

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

A Quick Overview of Larch/C++

Cheon, Yoonsik ; Leavens, Gary T.

Digital Repository @ Iowa State University 1994

Texto completo disponível

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

The Larch/Smalltalk Interface Specification Language

Cheon, Yoonsik ; Leavens, Gary T.

Digital Repository @ Iowa State University 1994

Texto completo disponível

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

Introduction to the Literature On Programming Language Design

Leavens, Gary T.

Digital Repository @ Iowa State University 1999

Texto completo disponível

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

Introduction to the Literature on Programming Language Design

Leavens, Gary T.

Digital Repository @ Iowa State University 1996

Texto completo disponível

7
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

8
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

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

BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing

Chambers, Craig ; Leavens, Gary T.

Digital Repository @ Iowa State University 1997

Texto completo disponível

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

Ptolemy: A Language of Quantified, Typed Events

Rajan, Hridesh ; Leavens, Gary T.

Digital Repository @ Iowa State University 2007

Texto completo disponível

Resultados 1 2 3 4 5 next page

Buscando em bases de dados remotas. Favor aguardar.