{"product_id":"9783030480769","title":"Rigorous State-Based Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.\u003c\/p\u003e\n\n\u003cp\u003eThe 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2020\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): 0\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":"Alexander Raschke","offers":[{"title":"Default Title","offer_id":41253768626354,"sku":"9783030480769","price":1638191.33,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3030480763.01_SCLZZZZZZZ.jpg?v=1635817438","url":"https:\/\/readabook.store\/en-id\/products\/9783030480769","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}