LEADER 00898nam0 2200265   450 
001 000017141
005 20081007155011.0
010   $a0201175363
100   $a20081007d1988----km-y0itay50------ba
101 1 $aeng$cger
102   $aGB
105   $ay-------001yy
200 1 $a<<A >>method of programming$fEdsger W. Dijkstra, W. H. J. Feijen$gtranslated by Joke Sterringa
210   $aWokingham$cAddison-Wesley$d1988
215   $aVIII, 188 p.$d24 cm
610 1 $aElaboratori elettronici$aProgrammazione
610 1 $aLogica simbolica
676   $a005.131$v20$9Linguaggio di programmazione. Logica simbolica (matematica)
700  1$aDijkstra,$bEdsger W.$051862
701  1$aFeijen,$bW. H. J.$0632007
801  0$aIT$bUNIPARTHENOPE$c20081007$gRICA$2UNIMARC
912   $a000017141
951   $aM 005.1/21$bM 1095$cDSA$d2008
996   $aMethod of programming$91201764
997   $aUNIPARTHENOPE