Ivan Scagnetto

Maggioli Editore · Springer

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Programmazione web. Lato server978-88-387-8693-8
(88-387-8693-3)
2013Vincenzo Della Mea · Luca Di Gaspero
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers978-3-540-68084-0
(3-540-68084-5)
2008Marino Miculan · Furio Honsell

 

Ivan Scales