Axiomatising the Logic of Computer Programming
1101517764
Axiomatising the Logic of Computer Programming
24.99 In Stock
Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

by R. Goldblatt
Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

by R. Goldblatt

Paperback(1982)

$24.99 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

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.
From the B&N Reads Blog

Customer Reviews