{"product_id":"9783662496732","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003eThis book\nconstitutes the proceedings of the 22nd International Conference on Tools and\nAlgorithms for the Construction and Analysis of Systems, TACAS 2016, which took\nplace in Eindhoven, The Netherlands, in April 2016, held as Part of the\nEuropean Joint Conferences on Theory and Practice of Software, ETAPS 2016.\u003cbr\u003e\nThe 44 full papers presented in this volume were carefully reviewed and selected\nfrom 175 submissions. They were organized in topical sections named: abstraction\nand verification; probabilistic and stochastic systems; synthesis; tool papers;\nconcurrency; tool demos; languages and automata; security; optimization; and\ncompetition on software verification – SV-COMP.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2016\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): 14555\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":"Marsha Chechik","offers":[{"title":"Default Title","offer_id":41271301177522,"sku":"9783662496732","price":149.77,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3662496739.01_SCLZZZZZZZ.jpg?v=1636109855","url":"https:\/\/readabook.store\/products\/9783662496732","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}