01491nam0 22003613i 450 RMS004832020250103063109.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 elettroniciProgrammazioneFIRNAPC000341IElaboratori elettroniciProgrammiSviluppoFIRNAPC260531I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Jones, Cliff B. <1944- >FERV00674307026769Jones, Clifford B.MILV282392Jones, Cliff B. <1944- >ITIT-NA007920080130IT-BN0095 RMS0048320Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 JON.sy 0102 0000014185 B A4 1 v. (4. rist. 1992)3 2008013020080130 01Systematic software development using VDM332969UNISANNIO