An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub.
Material type:
TextSeries: Lecture notes in computer science ; 135.Publication details: Berlin ; New York : Springer-Verlag, 1982.Description: 1 online resource (x, 292 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540391791
- 3540391797
- PL/CV (Computer program language)
- Computer programs -- Verification
- Computer programming
- PL/CS (Langage de programmation)
- Programmation (Informatique)
- PL/CV (Langage de programmation)
- Logiciels -- Vérification
- computer programming
- Computer programming
- Computer programs -- Verification
- PL/CV (Computer program language)
- Logik
- PL 1
- Programmierung
- PL/1
- Programacao De Computadores
- 001.64/24 19
- QA76.73.P252 C65 1982
- 54.53
- 54.10
- PN 46(P30)
- SS 4800
- 28
- DAT 557f
- digitized 2010 HathiTrust Digital Library committed to preserve
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL
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. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Print version record.
The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.