{"product_id":"9783540568834","title":"Lecture Notes in Computer Science: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada","description":"\u003ch1\u003eLecture Notes in Computer Science: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada\u003c\/h1\u003e \u003ch2\u003eLauer, Peter E.\u003c\/h2\u003e \u003cp\u003eThis collection of papers arose from a series of lectures\nfor workers in    computer science and other disciplines. The\nlectures were intended to       familiarize them with some of the\nmost exciting advanced computer based     systems for the\nconceptualization, design, implementation, simulation,      and\nlogical analysis of applications in these disciplines.\nThe          collection presents some strong motivational points for\nthe use of theory   based systems in the areas of functional\nprogramming, concurrency,          simulation, and automated\nreasoning, highlighting some of their advantages  and\ndisadvantages relative to conventional systems. The papers\nare      mostly the work of individuals who were among the\noriginators of the systemspresented.\nThe volume is intended as a contribution to narrowing            the\nlearning gap facing conventional computer users when they\nwish to   use advanced theory based systems. The papers are\nmeant for a wide audience and should not require great\nmathematical sophistication for their          comprehension. The\npapers contain numerous references for those wishing     to\npursue a topic in greater depth.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-06-16\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540568834\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56883-2\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 403\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066665612,"sku":"9783540568834","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540568834.jpg?v=1773969695","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540568834","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}