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

(7)
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) image
ISBN-10:

3540112103

ISBN-13:

9783540112105

Author(s): Goldblatt, R.
Edition: 1982
Released: Mar 01, 1982
Publisher: Springer
Format: Paperback, 317 pages
Related ISBN: 9780387112107

Description:

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

Best prices to buy, sell, or rent ISBN 9783540112105




Frequently Asked Questions about Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

You can buy the Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .

The price for the book starts from $7.98 on Amazon and is available from 12 sellers at the moment.

If you’re interested in selling back the Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) book, the best buyback offer comes from and is $ for the book in good condition.

Not enough insights yet.

Not enough insights yet.