R. L. Constable,
S. D. Johnson,
C. D. Eichenlaub
Springer Berlin Heidelberg
1982e druk, 1982
9783540114925
An Introduction to the PL/CV2 Programming Logic
Specificaties
Paperback, 293 blz.
|
Engels
Springer Berlin Heidelberg |
1982e druk, 1982
ISBN13: 9783540114925
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Specificaties
ISBN13:9783540114925
Taal:Engels
Bindwijze:paperback
Aantal pagina's:293
Uitgever:Springer Berlin Heidelberg
Druk:1982
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.