LEADER 01362nam a2200337 i 4500
001 991001096659707536
005 20020507183210.0
008 940519s1984    de            ||| | eng  
020   $a3540128964
035   $ab10800414-39ule_inst
035   $aLE01306958$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.642
084   $aAMS 68-06
084   $aAMS 68-XX
084   $aQA76.6
100 1 $aKozen, Dexter$0535967
245 10$aLogics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /$ceds. Edmund Clarke and Dexter Kozen
260   $aBerlin ; New York :$bSpringer-Verlag,$c1984
300   $avi, 527 p. :$bill. ;$c25 cm
500   $aIncludes bibliographies
500   $aProceedings of the Logics of Programs Workshop
650  4$aComputer science$xCongresses
650  4$aElectronic digital computers-programming
700 1 $aClarke, Edmund M.$eauthor$4http://id.loc.gov/vocabulary/relators/aut$067498
907   $a.b10800414$b21-09-06$c28-06-02
912   $a991001096659707536
945   $aLE013 68-XX CLA11 (1984)$g1$i2013000289144$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10904268$z28-06-02
996   $aLogics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983$93371053
997   $aUNISALENTO
998   $ale013$b01-01-94$cm$da  $e-$feng$gde $h0$i1