{"product_id":"formal-description-of-programming-concepts-erich-j-neuhold-9783540539612","title":"Formal Description of Programming Concepts","description":"This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Erich J. Neuhold\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540539611\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540539612\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/04\/1991\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 508\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.46lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 10.00h x 7.00w x 1.13d","brand":"Erich J. Neuhold","offers":[{"title":"Hardcover","offer_id":48519794917631,"sku":"9783540539612","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_fa864b41-641e-4acd-bd65-009ed12b1e99.jpg?v=1778738860","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-description-of-programming-concepts-erich-j-neuhold-9783540539612","provider":"WR Book House","version":"1.0","type":"link"}