A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
by Antoni Niederlinski
Number of pages: 454
The book is an introductory and down-to-earth presentation of Constraint Logic Programming (CLP), an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.
Home page url
Download or read it online for free here:
by Benjamin C. Pierce - University of Pennsylvania
These are notes for a course on software foundations, suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems.
by Damith C. Rajapakse
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
by 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.
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.