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 |
