{"product_id":"9783540578802","title":"Lecture Notes in Computer Science: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings\u003c\/h1\u003e \u003ch2\u003eSannella, Donald\u003c\/h2\u003e \u003cp\u003eThis volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification\/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-03-23\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540578802\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-57880-3\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 523\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065748108,"sku":"9783540578802","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540578802.jpg?v=1773969662","url":"https:\/\/lateknightbooks.com\/products\/9783540578802","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}