Axiomatising the Logic of Computer Programming
Başlık:
Axiomatising the Logic of Computer Programming
ISBN:
9783540390381
Personal Author:
Edition:
1st ed. 1982.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982.
Fiziksel Tanımlama:
XIII, 304 p. online resource.
Series:
Lecture Notes in Computer Science, 130
Contents:
Conceptual background -- The logical structure of commands -- Assignments -- Appendix 1 Some related studies -- Function declarations -- Procedures -- Arrays.
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science Archive Packages
Dil:
English