{"product_id":"fork-algebras-in-algebra-logic-marcelo-fabian-frias-9789810248765","title":"Fork Algebras in Algebra, Logic and Computer Science","description":"Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Marcelo Fabian Frias\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 9810248768\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9789810248765\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e World Scientific Publishing Company\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/01\/2002\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 232\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.99lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.36h x 6.41w x 0.74d","brand":"Marcelo Fabian Frias","offers":[{"title":"Hardcover","offer_id":48448105087231,"sku":"9789810248765","price":87.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_fc3384a2-5f0b-463a-b89c-3713f18f1f00.jpg?v=1777236929","url":"https:\/\/www.whiterainbookhouse.com\/products\/fork-algebras-in-algebra-logic-marcelo-fabian-frias-9789810248765","provider":"WR Book House","version":"1.0","type":"link"}