PETRONE, Luigi
PETRONE, Luigi
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements
1982-01-01 Luigi Petrone; Antonio Di Leva; Franco Sirovich
Program Development and Documentation by Informal Transformation and Derivations
1985-01-01 G. PETRONE; L. PETRONE
Program development and documentation by step-wise transformations: An interctive tool
1983-01-01 L. Petrone; Franco Sirovich; A. Di Leva; G. Capella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements | 1982 | Luigi Petrone; Antonio Di Leva; Franco Sirovich | |
Program Development and Documentation by Informal Transformation and Derivations | 1985 | G. PETRONE; L. PETRONE | |
Program development and documentation by step-wise transformations: An interctive tool | 1983 | L. Petrone; Franco Sirovich; A. Di Leva; G. Capella |