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
Recommended Approach to Software Developmentby Linda Landis, et al. - NASA
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.
(18761 views)
The Elements of Computing Systemsby Noam Nisan, Shimon Schocken - MIT Press
The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.
(30621 views)
Software Architectureby A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(17090 views)
SOA Source Book- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(15193 views)