LEADER 01491nam0 22003613i 450 
001 RMS0048320
005 20250103063109.0
010   $a0138807337
100   $a20080130d1990    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aSystematic software development using VDM$fCliff B. Jones
205   $a2. ed
210   $aNew York [etc.]$cPrentice Hall$dc1990
215   $aXIV, 333 p.$d23 cm
225 | $aPrentice-Hall international series in computer science$fC.A.R. Hoare series editor
300   $aBibliografia: P. 321-322.
410  0$1001RMS0038467$12001 $aPrentice-Hall international series in computer science$fC.A.R. Hoare series editor
606   $aElaboratori elettronici$xProgrammazione$2FIR$3NAPC000341$9I
606   $aElaboratori elettronici$xProgrammi$xSviluppo$2FIR$3NAPC260531$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
700  1$aJones$b, Cliff B.$f <1944- >$3FERV006743$4070$026769
790  1$aJones$b, Clifford B.$3MILV282392$zJones, Cliff B. <1944- >
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aRMS0048320
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   JON.sy$e 0102 0000014185    B A4                    1 v. (4. rist. 1992)$f3 $h20080130$i20080130
977   $a 01
996   $aSystematic software development using VDM$9332969
997   $aUNISANNIO