01244nam a2200325 i 450099100103013970753620020507181938.0960307s1982 de ||| | eng 3540114920b10791383-39ule_instLE01305983ExLDip.to Matematicaeng001.6424AMS 68N15Constable, R. L.535792An introduction to the PL/CV2 programming logic /R. L. Constable, S. D. Johnson, C. D. EichenlaubBerlin :Springer-Verlag,1982x, 292 p. :ill. ;24 cmLectures notes in computer science ;135Includes bibliographies and indexComputer programs-verificationPL/CV (Computer program language)Eichenlaub, C. D.Johnson, Scott D.authorhttp://id.loc.gov/vocabulary/relators/aut543202.b1079138323-02-1728-06-02991001030139707536LE013 68N CON11 (1982)12013000043838le013-E0.00-l- 00000.i1089196128-06-02Introduction to the PL1455694UNISALENTOle01301-01-96ma -engde 31