SAVY, CARLO
SAVY, CARLO
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.031 secondi).
Formal specifications of concurrent systems: a structured approach
1998 Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, Carlo; Vittorini, V.
PARSE and DISC Integration for Parallel Software Development
1996 Pateman, S.; Jelly, I.; Lloyd, D.; Russo, S.; Savy, Carlo
Support Environment For The Development of Problem-Oriented Concurrent Systems
1988 Iannello, G.; Mazzeo, A.; Savy, Carlo
INTRODUZIONE A CORBA
2002 Russo, Stefano; Savy, Carlo; Cotroneo, Domenico; A., Sergio
Petri net modelling of PARSE designs
1996 Russo, S.; Savy, Carlo; Jelly, I.; Collingwood, P.
Parallel Software Development in the Disc Programming Enviromment
1990 Iannello, G.; Mazzeo, A.; Savy, Carlo; Ventre, G.
Evaluation of Parallel Algorithms on Transputer Networks
1990 Iannello, G.; Mazzocca, N.; Savy, Carlo
Deadlock Detection with Client-Server Analysis
1997 Jelly, I.; Mastroianni, M.; Russo, Stefano; Savy, Carlo
Petri net modelling of PARSE designs
1996 Russo, Stefano; Savy, Carlo; I., Jelly; P., Collingwood
An Integrated Approach to Design Complex CORBA Systems
2000 Cotroneo, Domenico; Russo, Stefano; Savy, Carlo
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Formal specifications of concurrent systems: a structured approach | 1.1 Articolo in rivista | 1998 | Mazzeo, A.; Mazzocca, N.; Russo, S.; Savy, Carlo; Vittorini, V. | |
PARSE and DISC Integration for Parallel Software Development | 4.1 Articoli in Atti di convegno | 1996 | Pateman, S.; Jelly, I.; Lloyd, D.; Russo, S.; Savy, Carlo | |
Support Environment For The Development of Problem-Oriented Concurrent Systems | 1.1 Articolo in rivista | 1988 | Iannello, G.; Mazzeo, A.; Savy, Carlo | |
INTRODUZIONE A CORBA | 3.1 Monografia o trattato scientifico | 2002 | Russo, Stefano; Savy, Carlo; Cotroneo, Domenico; A., Sergio | |
Petri net modelling of PARSE designs | 1.1 Articolo in rivista | 1996 | Russo, S.; Savy, Carlo; Jelly, I.; Collingwood, P. | |
Parallel Software Development in the Disc Programming Enviromment | 1.1 Articolo in rivista | 1990 | Iannello, G.; Mazzeo, A.; Savy, Carlo; Ventre, G. | |
Evaluation of Parallel Algorithms on Transputer Networks | 1.1 Articolo in rivista | 1990 | Iannello, G.; Mazzocca, N.; Savy, Carlo | |
Deadlock Detection with Client-Server Analysis | 2.1 Contributo in volume (Capitolo o Saggio) | 1997 | Jelly, I.; Mastroianni, M.; Russo, Stefano; Savy, Carlo | |
Petri net modelling of PARSE designs | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Russo, Stefano; Savy, Carlo; I., Jelly; P., Collingwood | |
An Integrated Approach to Design Complex CORBA Systems | 4.1 Articoli in Atti di convegno | 2000 | Cotroneo, Domenico; Russo, Stefano; Savy, Carlo |