Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

by R. Goldblatt


View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, January 23

Product Details

ISBN-13: 9783540112105
Publisher: Springer Berlin Heidelberg
Publication date: 03/31/1982
Series: Lecture Notes in Computer Science , #130
Edition description: 1982
Pages: 304
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews