Axiomatising the Logic of Computer Programming

R. Goldblatt

ISBN 10: 3540112103 / ISBN 13: 9783540112105

Published by Springer Berlin Heidelberg Mrz 1982, 1982

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays. 320 pp. Englisch. Seller Inventory # 9783540112105

Bibliographic Details

Title: Axiomatising the Logic of Computer ...

Publisher: Springer Berlin Heidelberg Mrz 1982

Publication Date: 1982

Binding: Taschenbuch

Condition: Neu

About this title

Synopsis:

No Axiomatising the Logic of Computer Programming Read a customer review or write one .