LEADER 01244nam a2200325 i 4500
001 991001030139707536
005 20020507181938.0
008 960307s1982    de            ||| | eng  
020   $a3540114920
035   $ab10791383-39ule_inst
035   $aLE01305983$9ExL
040   $aDip.to Matematica$beng
082 0 $a001.6424
084   $aAMS 68N15
100 1 $aConstable, R. L.$0535792
245 13$aAn introduction to the PL/CV2 programming logic /$cR. L. Constable, S. D. Johnson, C. D. Eichenlaub
260   $aBerlin :$bSpringer-Verlag,$c1982
300   $ax, 292 p. :$bill. ;$c24 cm
490 0 $aLectures notes in computer science ;$v135
500   $aIncludes bibliographies and index
650  4$aComputer programs-verification
650  4$aPL/CV (Computer program language)
700 1 $aEichenlaub, C. D.
700 1 $aJohnson, Scott D.$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0543202
907   $a.b10791383$b23-02-17$c28-06-02
912   $a991001030139707536
945   $aLE013 68N CON11 (1982)$g1$i2013000043838$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10891961$z28-06-02
996   $aIntroduction to the PL$91455694
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$feng$gde $h3$i1