REVISTA
SOFTWARE, PRACTICE & EXPERIENCE

Inicio / SOFTWARE, PRACTICE & EXPERIENCE / Vol: 35 Núm: 6 Par: 0 (2005) / Artículo

ARTÍCULO

TITULO

Model variables: cleanly supporting abstraction in design by contract

Yoonsik Cheon

Gary Leavens

Murali Sitaraman

Stephen Edwards

Resumen

No disponible

PÁGINAS

pp. 583 - 599

NÚMERO

Volumen: 35 Número: 6 Parte: 0 (2005)

MATERIAS

INGENIERÍA Y CONSTRUCCIÓN CIVIL

Revistas destacadas

Acceso directo a los números publicados en la revista Infrastructures

Infrastructures

Acceso directo a los números publicados en la revista Informed Infraestructure

Informed Infraestructure

Acceso directo a los números publicados en la revista BiT

BiT

Acceso directo a los números publicados en la revista Revista de la Construcción

Revista de la Construcción

Ver todas las revistas