Attività di ricerca di Salvo, Ivano

Formal methods for Wide Area Programming
Type Theory
Object--Oriented and Functional Programming

 

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma

Accessibilità