{"product_id":"9783540330561","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March\/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections. ","brand":"Holger Hermanns","offers":[{"title":"Default Title","offer_id":47590296584510,"sku":"9783540330561","price":1592.66,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540330561.jpg?v=1707721738","url":"https:\/\/exclusivebooks.co.za\/products\/9783540330561","provider":"Exclusive Books Online","version":"1.0","type":"link"}