Return to search

Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos

No description available.

1. http://hdl.handle.net/10915/3903
2. http://sedici.unlp.edu.ar/handle/10915/3903

Identifer	oai:union.ndltd.org:SEDICI/oai:sedici.unlp.edu.ar:10915/3903
Date	January 2003
Creators	Cengia, Javier Andrés
Contributors	Pons, Claudia
Source Sets	Universidad Nacional de La Plata, Sedici
Language	Spanish
Detected Language	Spanish
Type	Tesis, Tesis de grado