{"product_id":"9783319281131","title":"Recent Trends in Algebraic Development Techniques","description":"\u003cp\u003eThis book constitutes the thoroughly refereed\npost-conference proceedings of the 22\u003csup\u003end\u003c\/sup\u003e International Workshop on\nAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,\nRomania.\u003cbr\u003e\nThe 8 revised papers presented were carefully reviewed and selected from 13\npresentations and focus together with one invited paper on foundations of\nalgebraic specification, approaches to formal specification including process\ncalculi and models of concurrent, distributed and mobile computing,\nspecification languages, methods, and environments, semantics of conceptual\nmodeling methods and techniques, model-driven development, graph\ntransformations, term rewriting and proof systems, integration of formal\nspecification techniques, formal testing and quality assurance, validation, and\nverification.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2015\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 2876\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Mihai Codescu","offers":[{"title":"Default Title","offer_id":41241798115506,"sku":"9783319281131","price":885197.29,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319281135.01_SCLZZZZZZZ.jpg?v=1635515224","url":"https:\/\/readabook.store\/en-id\/products\/9783319281131","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}