{"product_id":"9783662492239","title":"Software Engineering and Formal Methods","description":"\u003cdiv\u003e\n\u003c\/div\u003e\u003cdiv\u003eThis book constitutes revised selected papers from the workshops\u003c\/div\u003e\u003cdiv\u003ecollocated with the SEFM 2015 conference on Software Engineering and\u003c\/div\u003e\u003cdiv\u003eFormal Methods, held in York, UK, in September 2015.\u003c\/div\u003e\u003cdiv\u003eThe 25 papers included in this volume were carefully reviewed and\n\u003c\/div\u003e\u003cdiv\u003eselected from 32 submissions. \u003c\/div\u003e\u003cdiv\u003e\n\u003cdiv\u003eThe satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.\u003c\/div\u003e\n\u003cdiv\u003eThe four workshops were:\u003c\/div\u003e\n\u003cdiv\u003e ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;\nMoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.\u003c\/div\u003e\n\u003c\/div\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2015\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer Berlin Heidelberg\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 5387\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":"Domenico Bianculli","offers":[{"title":"Default Title","offer_id":41266937987250,"sku":"9783662492239","price":1239730.65,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3662492237.01_SCLZZZZZZZ.jpg?v=1636030545","url":"https:\/\/readabook.store\/en-id\/products\/9783662492239","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}