Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Supervisor(es): Tasistro, Alvaro - Betarte, Gustavo
| 2004 | |
|
OBJECT ORIENTED SYSTEMS PRIMITIVAS DE MODIFICACION DE ESTADOS |
|
| Español | |
| Universidad de la República | |
| COLIBRI | |
| http://hdl.handle.net/20.500.12008/2934 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
