Axiomatising the Logic of Computer Programming by R. GoldblattAxiomatising the Logic of Computer Programming by R. Goldblatt

Axiomatising the Logic of Computer Programming

byR. Goldblatt

Paperback | March 1, 1982

Pricing and Purchase Info

$37.70 online 
$51.95 list price save 27%
Earn 189 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Axiomatising the Logic of Computer ProgrammingFormat:PaperbackDimensions:304 pagesPublished:March 1, 1982Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540112103

ISBN - 13:9783540112105

Look for similar items by category:

Reviews

Table of Contents

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