Logo

A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe

Small book cover: A Quick and Gentle Guide to  Constraint Logic Programming via ECLiPSe

A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
by


ISBN-13: 9788362652082
Number of pages: 454

Description:
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:
Download link
(6.9MB, PDF)

Similar books

Book cover: Introduction to Reverse Engineering SoftwareIntroduction to Reverse Engineering Software
by - UIUC
An introduction to reverse engineering software under both Linux and Windows. The author uses the Scientific Method to deduce specific behavior and to target, analyze, extract and modify specific operations of a program for interoperability purposes.
(10267 views)
Book cover: Case Studies in Systematic Software DevelopmentCase Studies in Systematic Software Development
by - Prentice Hall
This book covers the case studies on the application of the most widely known formal methods in software development, the Vienna Development Method. VDM was developed in an industrial environment but has also evoked considerable academic research.
(9635 views)
Book cover: Specifying SystemsSpecifying Systems
by - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.
(8909 views)
Book cover: Communicating Sequential ProcessesCommunicating Sequential Processes
by - 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.
(7831 views)