55.95
Tijdelijk niet voorradig
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
- : C. D. Eichenlaub, S. D. Johnson, R. L. Constable
- : Springer-Verlag Berlin And Heidelberg GMBH & Co. KG
- : 9783540114925
- : Engels
- : Paperback
- : 314
- : maart 1982
- : 960
- : 235 x 155 x 17 mm.
- : Lecture Notes in Computer Science
- : Computerprogrammering / softwareontwikkeling; Wiskundige systeemtheorie