{"product_id":"model-checking-abstract-state-machines-kirsten-winter-9783639018912","title":"Model Checking Abstract State Machines","description":"\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Kirsten Winter\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3639018915\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783639018912\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e VDM Verlag Dr. Mueller E.K.\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/15\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 208\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.63lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.44d","brand":"Kirsten Winter","offers":[{"title":"Paperback","offer_id":47305512517887,"sku":"9783639018912","price":85.32,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_660acad7-3383-47bb-8fc2-d827c8c1157f.jpg?v=1758831085","url":"https:\/\/www.whiterainbookhouse.com\/products\/model-checking-abstract-state-machines-kirsten-winter-9783639018912","provider":"WR Book House","version":"1.0","type":"link"}