Buscar por Autor Felder, Miguel
Mostrando resultados 1 a 5 de 5
| Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
|---|---|---|---|
| may-2000 | Integrating object-oriented modeling techniques with formal specification techniques | Baum, Gabriel Alfredo; Felder, Miguel; Kutsche, Ralf-Detlef; Busse, Susanne; Pons, Claudia Fabiana | Comisión de Investigaciones Científicas |
| 2000 | Modelando y verificando diseños de sistemas de tiempo real | Braberman, Víctor Adrián | Facultad de Ciencias Exactas y Naturales de la UBA |
| 1996 | TRIO': O como ahora las tautologías son tautologías y el infinito es infinito | Turquie, Isaac Carlos | SEDICI |
| 1999 | Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos | Pons, Claudia Fabiana | Comisión de Investigaciones Científicas |
| 1999 | Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos | Pons, Claudia | SEDICI |