Items related to Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming - Softcover

Goldblatt, R.

 
9783662195574: Axiomatising the Logic of Computer Programming
Softcover
ISBN 10: 3662195577 ISBN 13: 9783662195574
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662195577
ISBN 13 
9783662195574
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540112103 ISBN 13:  9783540112105
Publisher: Springer, 1982
Softcover