REVISTA
SOFTWARE, PRACTICE & EXPERIENCE

Inicio / SOFTWARE, PRACTICE & EXPERIENCE / Vol: 31 N�m: 2 Par: 0 (2001) / Art�culo

ART�CULO

TITULO

A realistic involvement of formal methods

Bé

gay

D.

Rauzy

A.

Resumen

No disponible

P�GINAS

pp. 191 - 208

N�MERO

Volumen: 31 N�mero: 2 Parte: 0 (2001)

MATERIAS

INGENIER�A Y CONSTRUCCI�N CIVIL

REVISTAS SIMILARES

Computation
Algorithms
Water

Art�culos similares

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 disponibles