Scan barcode
325 pages • first pub 2017 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assiste...
Community Reviews
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at support@thestorygraph.com to request the content warning form.
325 pages • first pub 2017 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assiste...
Community Reviews
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at support@thestorygraph.com to request the content warning form.