R. Goldblatt
Springer Berlin Heidelberg
1982e druk, 1982
9783540112105
Axiomatising the Logic of Computer Programming
Specificaties
Paperback, 304 blz.
|
Engels
Springer Berlin Heidelberg |
1982e druk, 1982
ISBN13: 9783540112105
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Specificaties
ISBN13:9783540112105
Taal:Engels
Bindwijze:paperback
Aantal pagina's:304
Uitgever:Springer Berlin Heidelberg
Druk:1982
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

