Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic for Concurrency and Synchronisation
R. J. . Ed(S): de Queiroz
€ 121.91
FREE Delivery in Ireland
Description for Logic for Concurrency and Synchronisation
Paperback. Editor(s): De Queiroz, R. J. Series: Trends in Logic. Num Pages: 285 pages, biography. BIC Classification: HPL; PBCD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ... Read more
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer Netherlands
Number of pages
285
Condition
New
Series
Trends in Logic
Number of Pages
285
Place of Publication
Dordrecht, Netherlands
ISBN
9789401740005
SKU
V9789401740005
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic for Concurrency and Synchronisation