{"product_id":"9783540562870","title":"Lecture Notes in Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eShyamasundar, Rudrapatna\u003c\/h2\u003e \u003cp\u003eFor more than a decade, Foundations of Software Technology\nand Theoretical  Computer Science Conferences have been\nproviding an annual academic computerscience forum for the\npresentation of new results in the topics of          current\nresearch in India and abroad. This year, there was a total\nof   125 papers from 14 countries. Each paper was reviewed by\nat least three     reviewers; based on these reviews, the\nprogramme committee selected 28      papers at a meeting held in\nJuly 1992 at the Tata Institute of Fundamental  Research,\nBombay.\nThe selected papers are included in this volume,      together\nwith three invited papers: \"Games and full completeness            for\nmultiplicative linear logic\" by S. Abramsky, \"Recent\ndevelopments inalgorithms for the maximum-flow problem\" by\nK. Melhorn, and \"System         specification and refinement in\ntemporal logic\" by A. Pnueli.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-11-26\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540562870\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56287-7\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 409\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370072170636,"sku":"9783540562870","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540562870.jpg?v=1773969833","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540562870","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}