LEADER 01432nam0 22003733i 450 
001 PUV0049143
005 20251003044310.0
010   $a0201172372
100   $a20080129d1990    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aFormal development of programs and proofs$fedited by Edsger W. Dijkstra
210   $aReading, Massachusetts$cAddison-Wesley$dcopyr. 1990
215   $aXIV, 241 p.$d25 cm
225 | $aˆThe ‰UT Year of Programming Series
410  0$1001NAP0395356$12001 $aˆThe ‰UT Year of Programming Series
606   $aElaboratori elettronici$xProgrammazione$xCongressi$x1987$2FIR$3NAPC223521$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
696   $aConvegni$aCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
702  1$aDijkstra$b, Edsger Wybe$3AQ1V003914
790  1$aDijkstra$b, E. W.$3UFIV140496$zDijkstra, Edsger Wybe
801  3$aIT$bIT-000000$c20080129
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aPUV0049143
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   FORDOP$e 0102 0000009255  VMA A4                    1 v.$fY $h20080129$i20080129
977   $a 01
996   $aFormal development of programs and proofs$91574050
997   $aUNISANNIO