LEADER 01206nam0 2200289 i 450 001 SUN0067090 005 20180727121121.7 010 $a978-03-87947-75-4 100 $a20090202d1996 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆA ‰theory of objects$fMartin Abadi, Luca Cardelli 210 $aNew York$cSpringer$d1996 215 $aXIII, 396 p.$d24 cm. 410 1$1001SUN0067091$12001 $a*Monographs in computer science$v1 606 $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670 620 $aUS$dNew York$3SUNL000011 700 1$aAbadi$b, Martin$3SUNV053291$061312 701 1$aCardelli$b, Luca$3SUNV053292$061313 712 $aSpringer$3SUNV000178$4650 801 $aIT$bSOL$c20200921$gRICA 856 4 $uhttps://books.google.it/books?id=4xT3LgCPP5UC&pg=PA128&dq=9780387947754&hl=it&sa=X&ved=0ahUKEwjT96mjhb_cAhWFz4UKHRP7DQ8Q6AEIJzAA#v=onepage&q=9780387947754&f=false$zPreview 912 $aSUN0067090 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 68-XX 0005 $e08NS 799 I 20090226 996 $aTheory of objects$91414052 997 $aUNICAMPANIA