Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 41 related to Principles of Constraint Programming.   

Verification of Sequential and Concurrent Programs

Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Computers - 2010 - 502 pages
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language ...
Limited preview - About this book

Verification of Sequential and Concurrent Programs

Krzysztof Apt, Ernst-Rüdiger Olderog - Computers - 2013 - 444 pages
This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages but at the same ...
Limited preview - About this book

The Logic Programming Paradigm: A 25-Year Perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren - Computers - 2012 - 456 pages
This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The ...
Limited preview - About this book

Logics and Models of Concurrent Systems

Krzysztof Apt - Computers - 2013 - 500 pages
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes ...
Limited preview - About this book

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh - Computers - 2006 - 978 pages
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science ...
Limited preview - About this book

Principles and Practice of Constraint Programming - CP98: 4th International ...

Michael Maher, Jean-Francois Puget - Computers - 2003 - 490 pages
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search