
An Introduction to the PL/CV2 Programming Logic
Springer (Publisher)
Published on 1. April 1982
Book
Paperback/Softback
X, 314 pages
978-3-540-11492-5 (ISBN)
Description
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
More details
Series
Edition
1982 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 314 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
470 gr
ISBN-13
978-3-540-11492-5 (9783540114925)
DOI
10.1007/3-540-11492-0
Schweitzer Classification
Content
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.