IRIS

SAVY, CARLO

SAVY, CARLO  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.024 secondi).
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.
Support Environment For The Development of Problem-Oriented Concurrent Systems 1.1 Articolo in rivista 1988 Iannello, G.; Mazzeo, A.; Savy, Carlo
Petri net modelling of PARSE designs 1.1 Articolo in rivista 1996 Russo, S.; Savy, Carlo; Jelly, I.; Collingwood, P.
Petri net modelling of PARSE designs 2.1 Contributo in volume (Capitolo o Saggio) 1996 Russo, Stefano; Savy, Carlo; I., Jelly; P., Collingwood
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
An Integrated Approach to Design Complex CORBA Systems 4.1 Articoli in Atti di convegno 2000 Cotroneo, Domenico; Russo, Stefano; Savy, Carlo
INTRODUZIONE A CORBA 3.1 Monografia o trattato scientifico 2002 Russo, Stefano; Savy, Carlo; Cotroneo, Domenico; A., Sergio
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