Books
2 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Verification of sequential and concurrent programs | Krzysztof R. Apt | This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nonde… | OL15987757W |
|
Principles of constraint programming | Krzysztof R. Apt | Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique t… | OL3253285W |