{"product_id":"9783540603597","title":"Lecture Notes in Computer Science: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings\u003c\/h1\u003e \u003ch2\u003eHermenegildo, Manuel; Swierstra, S.Doaitse\u003c\/h2\u003e \u003cp\u003eThis book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.\u003cbr\u003eThe book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-09-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540603597\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0026808\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 476\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369942573196,"sku":"9783540603597","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540603597.jpg?v=1773967069","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540603597","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}