Axiomatising the Logic of Computer Programming

Paperback Engels 1982 1982e druk 9783540112105
€ 28,59
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Specificaties

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

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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

Managementboek Top 100

€ 28,59
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Axiomatising the Logic of Computer Programming