Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

R. Goldblatt

ISBN 10: 3540112103 / ISBN 13: 9783540112105

Published by Springer 2008-06-13, 2008

About this Item

Seller Inventory # 6666-IUK-9783540112105

Bibliographic Details

• Title: Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
• Publisher: Springer 2008-06-13
• Publication Date: 2008
• Language: English
• ISBN 10: 3540112103
• ISBN 13: 9783540112105
• Binding: Paperback
• Condition: New

About this title

Synopsis

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