{"product_id":"9783540713883","title":"Foundations of Software Science and Computational Structures","description":"This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March\/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.","brand":"Helmut Seidl","offers":[{"title":"Default Title","offer_id":47627887051070,"sku":"9783540713883","price":1572.39,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540713883.jpg?v=1707722333","url":"https:\/\/exclusivebooks.co.za\/products\/9783540713883","provider":"Exclusive Books Online","version":"1.0","type":"link"}