{"product_id":"concurrency-theory-howard-bowman-9781849969512","title":"Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems","description":"\u003cp\u003eThe field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Howard Bowman,Rodolfo Gomez\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1849969515\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781849969512\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/13\/2010\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 422\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.41lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.93d","brand":"Howard Bowman","offers":[{"title":"Paperback","offer_id":47424501121279,"sku":"9781849969512","price":169.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_2b97526e-442a-409e-bc96-17251e1710bd.jpg?v=1761530632","url":"https:\/\/www.whiterainbookhouse.com\/products\/concurrency-theory-howard-bowman-9781849969512","provider":"WR Book House","version":"1.0","type":"link"}