{"product_id":"formsformat-2010-eckehard-schnieder-9783642142604","title":"Forms\/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems","description":"\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Eckehard Schnieder\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642142605\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642142604\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/23\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 257\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.20lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.40h x 6.40w x 0.90d","brand":"Eckehard Schnieder","offers":[{"title":"Hardcover","offer_id":48800796180735,"sku":"9783642142604","price":219.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/www.whiterainbookhouse.com\/products\/formsformat-2010-eckehard-schnieder-9783642142604","provider":"WR Book House","version":"1.0","type":"link"}