{"product_id":"9783540544159","title":"Lecture Notes in Computer Science: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003eIto, Takayasu; Meyer, Albert R.\u003c\/h2\u003e \u003cp\u003eTACS'91 is the first International Conference on Theoretical\nAspects of     Computer Science held at Tohoku University,\nJapan, in September 1991. This  volume contains 37 papers and\nan abstract for the talks presented at the    conference.\nTACS'91 focused on theoretical foundations of                   programming,\nand theoretical aspects of the design, analysis                and\nimplementation of programming languages and systems. The\nfollowing  range of topics is covered: logic, proof,\nspecification and semantics of    programs and languages;\ntheories and models of concurrent, parallel and     distributed\ncomputation; constructive logic, category theory, and           type\ntheory in computer science; theory-based systems for\nspecifying,   synthesizing, transforming, testing, and\nverifying software.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-08-28\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544159\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54415-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 776\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369844301964,"sku":"9783540544159","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544159.jpg?v=1773965480","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540544159","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}