Software Foundations, Volume 1: Logical Foundations by Arthur Azevedo de Amorim, Marco Gaboardi, Cătălin Hriţcu, Chris Casinghino, Vilhelm Sjöberg, Brent Yorgey, Benjamin C. Pierce, Michael Greenberg

325 pages first pub 2017 (editions)

computer science informative slow-paced
Powered by AI (Beta)
Loading...

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...

Read more

Community Reviews

5.0
based on 1 review

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.

Accept and close

By using The StoryGraph, you agree to our use of cookies.
We use a small number of cookies to provide you with a great experience.

Find out more