Book Search Results
The Deductive Foundations Of Computer Programming
Find "The Deductive Foundations Of Computer Programming" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The deductive foundations of computer programming
By Zohar Manna
“The deductive foundations of computer programming” Metadata:
- Title: ➤ The deductive foundations of computer programming
- Author: Zohar Manna
- Language: English
- Number of Pages: Median: 717
- Publisher: ➤ Addison-Wesley Pub. Co. - Addison-Wesley
- Publish Date: 1993
- Publish Location: Reading, Mass - Wokingham
“The deductive foundations of computer programming” Subjects and Themes:
- Subjects: ➤ Computer programming - Symbolic and mathematical Logic - Logic, symbolic and mathematical - Electronic digital computers, programming
Edition Identifiers:
- The Open Library ID: OL21181708M - OL1849803M
- Library of Congress Control Number (LCCN): 90001235
- All ISBNs: 0201548860 - 9780201548860
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The deductive foundations of computer programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “The Deductive Foundations Of Computer Programming” online:
Shop for “The Deductive Foundations Of Computer Programming” on popular online marketplaces.
- Ebay: New and used books.