**Software Foundations**

by Benjamin C. Pierce

**Publisher**: University of Pennsylvania 2010

**Description**:

These are notes for a one-semester course on Software Foundations -- the mathematical theory of programming and programming languages -- suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

**Communicating Sequential Processes**

by

**C.A.R. Hoare**-

**Prentice Hall**

CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.

(

**8661**views)

**Handbook of Software Reliability Engineering**

by

**Michael R. Lyu**-

**McGraw-Hill**

From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.

(

**6846**views)

**Recommended Approach to Software Development**

by

**Linda Landis, et al.**

Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.

(

**12023**views)

**The New Software Engineering**

by

**Sue Conger**-

**Global Text Project**

The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.

(

**12004**views)