00870nam0-22003011i-450-99000047057040332120090319112922.03-540-15239-3000047057FED01000047057(Aleph)000047057FED0100004705720020821d1985----km-y0itay50------baenga-------001yy<<A >>survey of verification techniques for parallel programsHoward BarringerBerlin ; HeidelbergSpringer-Verlag©1985115 p.ill.24 cmLecture notes in computer science191Programmazione parallela004.35Barringer,HowardITUNINARICAUNIMARCBK99000047057040332110 P.T. 407457 DISDINELDINELUNINA01355nam2 22003013i 450 VAN011627320230322112052.835978-88-921138-2-420180508d2018 |0itac50 baitaIT|||| |||||ˆ1: ‰Testo e materiali per un confronto civil law common lawVincenzo Varano, Vittoria Barsotti6. edTorinoGiappichelli2018XXII, 632 p.24 cm.In copertina: La mia libreria001VAN00118442001 ˆLa ‰tradizione giuridica occidentaleVincenzo Varano, Vittoria Barsotti210 TorinoGiappichelli215 volumi24 cm.1TorinoVANL000001VaranoVincenzoVANV005505229356BarsottiVittoriaVANV005159268232Giappichelli <editore>VANV107921650ITSOL20230707RICAVAN0116273BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS VII.D.20 1 00UBG2881 20180508 BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS VII.D.20 1 00UBG3944 bis 20181206 Testo e materiali per un confronto civil law common law65781UNICAMPANIA