{"product_id":"9783319281131","title":"Lecture Notes in Computer Science: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eCodescu, Mihai; Diaconescu, Răzvan; Țuțu, Ionuț\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-12-31\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319281131\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-28114-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 171\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377474003084,"sku":"9783319281131","price":40.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319281131.jpg?v=1774013651","url":"https:\/\/lateknightbooks.com\/products\/9783319281131","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}