LEADER 01472nam0 22003853i 450 
001 PUV0084479
005 20251003044310.0
010   $a0201416247
100   $a20080211d1989    ||||0itac50      ba
101 | $aeng
102   $aau
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aProgram derivation$ethe development of programs from specifications$fGeoff Dromey
210   $aSidney [etc.]$cAddison-Wesley$d[1989]
215   $aXVI, 630 p.$d24 cm
225 | $aInternational computer science series$v41624
300   $aBibliografia: p. 618.
410  0$1001RMS0038074$12001 $aInternational computer science series$v41624
606   $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
700  1$aDromey$b, R. Geoff$3RAVV015832$4070$026724
790  1$aDromey$b, R. G.$3NAPV121163$zDromey, R. Geoff
790  1$aDromey$b, Geoff$3NAPV200401$zDromey, R. Geoff
790  1$aDromey$b, Geoffrey$3NAPV200402$zDromey, R. Geoff
801  3$aIT$bIT-000000$c20080211
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aPUV0084479
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   DRO.pr$e 0102 0000011625  VMA A4                    1 v.$fY $h20080211$i20080211
977   $a 01
996   $aProgram derivation$91741875
997   $aUNISANNIO