{"product_id":"logics-of-specification-languages-dines-bjzurner-9783540741060","title":"Logics of Specification Languages","description":"\u003cp\u003eThis book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. \u003c\/p\u003e \u003cp\u003eIn a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Dines Bjørner\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540741062\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540741060\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/07\/2007\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 624\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.65lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.40w x 1.40d","brand":"Dines Bjørner","offers":[{"title":"Hardcover","offer_id":48486959939839,"sku":"9783540741060","price":169.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3fe2fb8b-4b70-4827-8521-f0a9ebffb3bb.jpg?v=1778057409","url":"https:\/\/www.whiterainbookhouse.com\/products\/logics-of-specification-languages-dines-bjzurner-9783540741060","provider":"WR Book House","version":"1.0","type":"link"}