01206nam0 2200289 i 450 SUN006709020180727121121.7978-03-87947-75-420090202d1996 |0engc50 baengUS|||| |||||ˆA ‰theory of objectsMartin Abadi, Luca CardelliNew YorkSpringer1996XIII, 396 p.24 cm.001SUN00670912001 *Monographs in computer science168-XXComputer science [MSC 2020]MFSUNC019670USNew YorkSUNL000011Abadi, MartinSUNV05329161312Cardelli, LucaSUNV05329261313SpringerSUNV000178650ITSOL20200921RICAhttps://books.google.it/books?id=4xT3LgCPP5UC&pg=PA128&dq=9780387947754&hl=it&sa=X&ved=0ahUKEwjT96mjhb_cAhWFz4UKHRP7DQ8Q6AEIJzAA#v=onepage&q=9780387947754&f=falsePreviewSUN0067090UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0005 08NS 799 I 20090226 Theory of objects1414052UNICAMPANIA