{"product_id":"mathematical-foundations-of-programming-semantics-7th-international-conference-pittsburgh-pa-usa-march-25-28-1991-proceedings-von-stephen-brookes-michael-main-austin-melton-michael-mislove-david-schmidt-hrsg","title":"Mathematical Foundations of Programming Semantics","description":"This volume contains the proceedings of the Seventh\nInternational Conferenceon the Mathematical Foundations of\nProgramming Semantics, held at Carnegie  Mellon University,\nMarch 1991.\nThe conference continued a series of     annual meetings,\nalternating between workshop and conference                formats,\nintended to bring together computer scientists                     and\nmathematicians for discussion of research problems, results\nand     directions in programming language semantics and related\nareas. A major goalof the series is to improve\ncommunication and interaction between           researchers in these\nareas and to establish ties between related areas      of\nresearch.\nThe volume contains revised and refereed versions of each  of\nthe contributed papers and refereed papers by three invited\nspeakers:Jon Barwise, John Reynolds, and Mitchell Wand.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540555117\"\u003e\u003ch3\u003e7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540555117","offer_id":39436739838045,"sku":"9783540555117","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a16a55da-e434-43e0-a6b4-146607fbbcc5.jpg?v=1773554592","url":"https:\/\/shop.autorenwelt.de\/products\/mathematical-foundations-of-programming-semantics-7th-international-conference-pittsburgh-pa-usa-march-25-28-1991-proceedings-von-stephen-brookes-michael-main-austin-melton-michael-mislove-david-schmidt-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}