Title An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub

Published Berlin ; New York : Springer-Verlag, 1982

Click on the following:
Springer eBooks

Copies

Description 1 online resource (x, 292 pages) : illustrations Series Lecture notes in computer science ; 135 Lecture notes in computer science ; 135. Contents The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules Bibliography Includes bibliographical references and index Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject PL/CV (Computer program language) Computer programs -- Verification. Computer programming. computer programming. Computer programming Computer programs -- Verification PL/CV (Computer program language) Logik PL 1 Programmierung PL/1. Programacao De Computadores. Form Electronic book Author Johnson, Scott D. Eichenlaub, C. D. ISBN 9783540391791 3540391797

  Permalink