01742nam0 22004213i 450 RMS004832020251003044343.0013880733720080130d1990 ||||0itac50 baengusz01i xxxe z01nSystematic software development using VDMCliff B. Jones2. edNew York [etc.]Prentice Hallc1990XIV, 333 p.23 cmPrentice-Hall international series in computer scienceC.A.R. Hoare series editorBibliografia: P. 321-322.001RMS00384672001 Prentice-Hall international series in computer scienceC.A.R. Hoare series editorElaboratori elettroniciProgrammazioneFIRCFIC000860EElaboratori elettroniciProgrammiSviluppoFIRCFIC084013I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Programmi didatticiProgrammi scolasticiPiani di lavoroProgrammiProgrammi didatticiProgrammiProgrammi scolasticiProgrammiPiani di lavoroJones, Cliff B. <1944- >FERV00674307026769Jones, Clifford B.MILV282392Jones, Cliff B. <1944- >ITIT-00000020080130IT-BN0095 NAP 01SALA DING $RMS0048320Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 JON.sy 0102 0000014185 VMA A4 1 v. (4. rist. 1992)Y 2008013020080130 01Systematic software development using VDM332969UNISANNIO00780nam 2200253 450 99666735880331620250723124016.020250723d1988----km y0itay5003 baitaITy 00 y<<La>> concentrazione delle testate editorialicommento alla sentenza 18 dicembre 1986 del Tribunale di MilanoRaffaella LanzilloTorinoGiappichelli1988138 p.25 cmEditoriaGiurisprudenzaBNCF343.450998LANZILLO,Raffaella231476ITcbaREICAT996667358803316XVI.7.D. 526FBUOXVI.7.D.BKFBUOConcentrazione delle testate editoriali680851UNISA