×


 x 

Shopping cart
Jacopo Mauro - Constraints Meet Concurrency (Atlantis Studies in Computing) - 9789462390669 - V9789462390669
Stock image for illustration purposes only - book cover, edition or condition may vary.

Constraints Meet Concurrency (Atlantis Studies in Computing)

€ 63.74
FREE Delivery in Ireland
Description for Constraints Meet Concurrency (Atlantis Studies in Computing) Hardcover. Constraints Meet Concurrency Series: Atlantis Studies in Computing. Num Pages: 163 pages, 13 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 14. Weight in Grams: 396.
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language ... Read more

Product Details

Format
Hardback
Publication date
2014
Publisher
Atlantis Press
Condition
New
Series
Atlantis Studies in Computing
Number of Pages
148
Place of Publication
, Netherlands
ISBN
9789462390669
SKU
V9789462390669
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Constraints Meet Concurrency (Atlantis Studies in Computing)

Goodreads reviews for Constraints Meet Concurrency (Atlantis Studies in Computing)


Subscribe to our newsletter

News on special offers, signed editions & more!