{"product_id":"theory-and-formal-methods-of-chris-hankin-9781860940033","title":"Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop","description":"The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Chris Hankin\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 186094003X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781860940033\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Imperial College Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/01\/1995\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 444\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover","brand":"Chris Hankin","offers":[{"title":"Hardcover","offer_id":48448003965183,"sku":"9781860940033","price":160.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_6674278d-07d0-4fd7-8069-78752d7fc99f.jpg?v=1777236247","url":"https:\/\/www.whiterainbookhouse.com\/products\/theory-and-formal-methods-of-chris-hankin-9781860940033","provider":"WR Book House","version":"1.0","type":"link"}