{"product_id":"theoretical-aspects-of-computing-robert-mark-hierons-9783030325046","title":"Theoretical Aspects of Computing - Ictac 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October\/November 2019.\u003cbr\u003eThe 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.\u003cbr\u003eThe papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Robert Mark Hierons\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3030325040\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783030325046\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/26\/2019\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 411\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.30lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.86d","brand":"Robert Mark Hierons","offers":[{"title":"Paperback","offer_id":48446057611519,"sku":"9783030325046","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_bacc2f85-00bb-4c6a-880d-455971b882a7.jpg?v=1777222348","url":"https:\/\/www.whiterainbookhouse.com\/products\/theoretical-aspects-of-computing-robert-mark-hierons-9783030325046","provider":"WR Book House","version":"1.0","type":"link"}