00844nam0-22003011i-450-99000049278040332120080728121321.00-13-880725-6000049278FED01000049278(Aleph)000049278FED0100004927820020821d1986----km-y0itay50------baenga-------001yySystematic software development using VDMCliff B. JonesNew JerseyPrentice-Hall©1986300 p.ill.24 cmPrentice-Hall international series in computer scienceSoftwareSviluppo005.1Jones,Cliff B.ITUNINARICAUNIMARCBK99000049278040332110 P.T. 408615 DISDINELDINELUNINA01156nam--2200385---450-99000300697020331620090910124731.0978-88-13-27372-9000300697USA01000300697(ALEPH)000300697USA0100030069720071107d2007----km-y0enga50------baitaITy|||z|||001yyIstituzioni di diritto civileAlberto Trabucchi40. ed.a cura di Giuseppe TrabucchiPadovaCedam2007XXX, 1195 p.25 cmManuali di scienze giuridiche2001Manuali di scienze giuridicheDiritto civile346.45TRABUCCHI,Alberto113615TRABUCCHI,GiuseppeITSalbcISBDISBD990003006970203316XXV.1.B 550 (IG I 2768 A)57310 G.XXV.1.B 550 (IG I)00064369BKGIUCHIARA9020071107USA011307RSIAV39020090910USA011247Istituzioni di diritto civile37197UNISA