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 |