ZUCCA SCHILLANI, ELENA
ZUCCA SCHILLANI, ELENA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
A Formal Framework with Late Binding
1999-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects
1989-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena
Extending Casl by Late Binding
2000-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Formal Specification of a Concurrent Architecture in a Real Project
1985-01-01 Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena
Implementation of Derived Programs (Almost) for Free
1998-01-01 Cerioli, Maura; Zucca, Elena
The Ada Challenge for New Formal Semantic Techniques
1986-01-01 Astesiano, Egidio; A., Giovini; F., Mazzanti; Reggio, Gianna; Zucca, Elena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Framework with Late Binding | 1-gen-1999 | Ancona, Davide; Cerioli, Maura; Zucca, Elena | |
| An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects | 1-gen-1989 | Astesiano, Egidio; A., Giovini; Reggio, Gianna; Zucca, Elena | |
| Extending Casl by Late Binding | 1-gen-2000 | Ancona, Davide; Cerioli, Maura; Zucca, Elena | |
| Formal Specification of a Concurrent Architecture in a Real Project | 1-gen-1985 | Astesiano, Egidio; F., Mazzanti; Reggio, Gianna; Zucca, Elena | |
| Implementation of Derived Programs (Almost) for Free | 1-gen-1998 | Cerioli, Maura; Zucca, Elena | |
| The Ada Challenge for New Formal Semantic Techniques | 1-gen-1986 | Astesiano, Egidio; A., Giovini; F., Mazzanti; Reggio, Gianna; Zucca, Elena |