An Introduction to the PL/CV2 Programming Logic
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
Specificaties
ISBN/EAN | 9783540114925 |
Auteur | R. L. Constable |
Uitgever | Van Ditmar Boekenimport B.V. |
Taal | Engels |
Uitvoering | Paperback / gebrocheerd |
Pagina's | 314 |
Lengte | |
Breedte |