Axiomatising the Logic of Computer Programming

Specificaties
Paperback, 304 blz. | Engels
Springer Berlin Heidelberg | 1982e druk, 1982
ISBN13: 9783540112105
Rubricering
Springer Berlin Heidelberg 1982e druk, 1982 9783540112105
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9783540112105
Taal:Engels
Bindwijze:paperback
Aantal pagina's:304
Uitgever:Springer Berlin Heidelberg
Druk:1982

Inhoudsopgave

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Rubrieken

    Personen

      Trefwoorden

        Axiomatising the Logic of Computer Programming