Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Constraint Handling Rules

Name: Constraint Handling Rules
Brand: Cambridge University Press
SKU: 02048638
Price: 73.01 EUR
Availability: InStock
Author: Thom Frühwirth
ISBN: 9780521877763

Thom Frühwirth

Language

English

Book Hardback

Libristo code: 02048638

Publishers Cambridge University Press, July 2009

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical progr... Full description

Libristo code: 02048638

176 b

73.01 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Trucos para la Cocina y el Hogar: Consejos prácticos para simplificar las tareas y ahorrar tiempo, dinero y esfuerzo Diana Baker

Paperback

7.69 €

Te queremos peque?o valiente

Paperback

22.58 €

Není krve bez ohně Procházka Jiří W.

Paperback

4.85 €

Studienfinanzierung im Sozialstaat. Martina Bätzel

Paperback

116.67 €

Netzwerk neu B1. Übungsbuch mit Audios Tanja Mayr-Sieber

Paperback

19.84 €

XINO XANO 6 (07) ESCRIPTURA Fina Masgrau

Hardback

6.07 €

Teczka kopertowa zatrzask dymna

Stationery items

0.50 €

Formularios a la nueva ley de enjuiciamiento civil Ernesto de la Rocha García

Paperback

43.03 €

Das Kursbuch Religion 1 - Ausgabe 2015 Heidrun Dierk

Paperback

29.46 €

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.