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 VDM332969UNISANNIO