| Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions 2021 Edition Contributor(s): Schreiner, Wolfgang (Author) |
|
 |
ISBN: 3030805069 ISBN-13: 9783030805067 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover Published: October 2021 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Data Processing - Computers | Computer Science |
| Physical Information: 1.44" H x 6.14" W x 9.21" (2.45 lbs) 636 pages |