LEADER 01373nam2-2200409li-450 
001 990000130350203316
005 20180312154640.0
010   $a0-387-96957-8
035   $a0013035
035   $aUSA010013035
035   $a(ALEPH)000013035USA01
035   $a0013035
100   $a2001993031190----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aPredicate calculus and program semantics$fEdsger W. Dijkstra, Carel S. Scholten
210   $aNew York [etc.]$cSpringer-Verlag,copyr. 1990
215   $a220 p.$d25 cm
225 2 $aTexts and monographs in computer science$v0
410  0$10010013034$12001$aTexts and monographs in computer science
610 1 $alinguaggi di programmazione semantica
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aDijkstra,$bEdsberg Wybe$0746041
702  1$aScholten,$bCarel S.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000130350203316
951   $a511.3 DIJ (A)$b0001748
951   $a511.3 DIJ (B)$b4735 Ing.$c511.3
959   $aBK
969   $aTEC
979   $c19930311
979   $c20001110$lUSA01$h1711
979   $c20020403$lUSA01$h1620
979   $aSIAV3$b10$c20031003$lUSA01$h1313
979   $aPATRY$b90$c20040406$lUSA01$h1610
996   $aPredicate calculus and program semantics$91488595
997   $aUNISA