登入選單
Google圖書搜尋
Types for Proofs and Programs
作者
Stefano Berardi / Mario Coppo / Ferruccio Damiani
出版Springer, 2004-06-15
ISBN
3540221646 / 9783540221647
主題
Computers
Codice di procedura civile sistematico
作者
AULETTA FERRUCCIO / GASPERINI MARIA PIA / WIDMANN PAOLA / BERTOLDI VALENTINA / FUIANO MARIO PIO / GRIPPO PAOLA / RASCIO NICOLA / RONCO ALBERTO / VINCRE SIMONETTA / STELLA MARCELLO / LUPOI MICHELE ANGELO / DALFINO DOMENICO / MARINELLI MARINO / D'ALESSANDRO ELENA / NEGRI MARCELLA / RAITI GIOVANNI / MURONI RAFFAELLA / BOCCAGNA SALVATORE / MARINO CONCETTA / MOTTO ALESSANDRO / BACCAGLINI LAURA / ZUCCONI GALLI FONSECA ELENA / RUSCIANO SILVIA / IZZO SILVIA / CAPORUSSO SIMONA / DAMIANI FRANCESCO SAVERIO / RUGGIERI PAOLA CHIARA / DE SANTIS DI NICOLA FRANCESCO / GAMBINERI BEATRICE / MARZOCCO ANTONIO MARIA / POLI GIORGIO G.
出版Giappichelli, 2025-04-29
ISBN
8892123874 / 9788892123878
主題
Law