{"product_id":"programming-languages-and-systems-chris-hankin-9783540643029","title":"Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Conferences on Theory and Practi","description":"This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March\/April 1998. \u003cbr\u003eThis volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Chris Hankin\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540643028\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540643029\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/11\/1998\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 289\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.93lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.63d","brand":"Chris Hankin","offers":[{"title":"Paperback","offer_id":48459864998143,"sku":"9783540643029","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_7a4c8963-90f4-401f-8989-dd7f6047d2be.jpg?v=1777412228","url":"https:\/\/www.whiterainbookhouse.com\/products\/programming-languages-and-systems-chris-hankin-9783540643029","provider":"WR Book House","version":"1.0","type":"link"}