{"product_id":"transformations-of-specifications-and-proofs-to-support-an-evolutionary-formal-software-development-axel-schairer","title":"Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Axel Schairer","description":"\u003ch3\u003eDetails\u003c\/h3\u003e    \u003cul\u003e\n\u003cli\u003e            \u003cstrong\u003eType:            \u003c\/strong\u003e            Non-Fiction, Paperback\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eTitle:            \u003c\/strong\u003e            Transformations of specifications and Proofs to Support an Evolutionary Formal Software Development\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eAuthor:            \u003c\/strong\u003e            Axel Schairer\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eISBN:            \u003c\/strong\u003e            3832253807\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eBook year:            \u003c\/strong\u003e            2006\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003ePage count:            \u003c\/strong\u003e            257\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eGenre:            \u003c\/strong\u003e            Academic, Science \u0026amp; Technology\u003c\/li\u003e\n\u003c\/ul\u003e\u003cbr\u003eThis item is being sold under the Retail Gift Aid scheme which enables us to increase the value of donations by 25%. Shelter would like to make customers aware that we, as do many charities, act as an agent for the donor, selling goods on their behalf so that the net sale proceeds can, where the donor agrees, be given to the charity as a Gift Aid donation.","brand":"E47","offers":[{"title":"Default Title","offer_id":58218468245891,"sku":"E47-0026677 6","price":35.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0099\/1258\/2210\/files\/IMG_9682_1.heic?v=1781086127","url":"https:\/\/shop.shelter.org.uk\/products\/transformations-of-specifications-and-proofs-to-support-an-evolutionary-formal-software-development-axel-schairer","provider":"Shop for Shelter","version":"1.0","type":"link"}