{"product_id":"9783540573166","title":"Lecture Notes in Computer Science: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eBjørner, Dines; Broy, Manfred; Pottosin, Igor V.\u003c\/h2\u003e \u003cp\u003eThis volume comprises the papers selected for presentation\nat the           international conference on Formal Methods in\nProgramming and Their         Applications, held in Academgorodok,\nNovosibirsk, Russia, June-July 1993.   The conference was\norganized by the Institute of Informatics Systems of     the\nSiberian Division of the Russian Academy of Sciences and was\nthe    first forum organized by the Institute which was\nentirely dedicated to      formal methods.\nThe main scientific tracks of the conference were           centered\naround formal methods of program development and                   program\nconstruction. The papers in the book are grouped into\nthe       following parts:\n- formal semantics methods\n- algebraic specification   methods\n- semantic program analysis and abstract interpretation\n-       semantics of parallelism\n- logic of programs\n- software specification   and verification\n- transformational development and program synthesis.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-10-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540573166\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0039695\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 438\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369902006412,"sku":"9783540573166","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540573166.jpg?v=1773966640","url":"https:\/\/lateknightbooks.com\/products\/9783540573166","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}