Buy this book
- About this Textbook
-
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
- Table of contents (24 chapters)
-
-
Why Use Logic? Why Prove Programs Correct?
Pages 1-5
-
Propositions
Pages 8-18
-
Reasoning using Equivalence Transformations
Pages 19-27
-
A Natural Deduction System
Pages 28-65
-
Predicates
Pages 66-87
-
Table of contents (24 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- The Science of Programming
- Authors
-
- David Gries
- Series Title
- Monographs in Computer Science
- Copyright
- 1981
- Publisher
- Springer-Verlag New York
- Copyright Holder
- Springer-Verlag New York Inc.
- eBook ISBN
- 978-1-4612-5983-1
- DOI
- 10.1007/978-1-4612-5983-1
- Softcover ISBN
- 978-0-387-96480-5
- Series ISSN
- 0172-603X
- Edition Number
- 1
- Number of Pages
- XV, 388
- Topics