Axiomatising the Logic of Computer Programming
Titre:
Axiomatising the Logic of Computer Programming
ISBN (Numéro international normalisé des livres):
9783540390381
Auteur personnel:
Edition:
1st ed. 1982.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982.
Description physique:
XIII, 304 p. online resource.
Collections:
Lecture Notes in Computer Science, 130
Table des matières:
Conceptual background -- The logical structure of commands -- Assignments -- Appendix 1 Some related studies -- Function declarations -- Procedures -- Arrays.
Auteur collectif ajouté:
Accès électronique:
Full Text Available From Springer Nature Computer Science Archive Packages
Langue:
Anglais