{"product_id":"compiler-specification-and-verification-von-w-polak","title":"Compiler Specification and Verification","description":"\u003cp\u003eTheoretical framework.- Source and target languages.- The compiler proof.- Conclusions.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540108863\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540108863","offer_id":39424851247197,"sku":"9783540108863","price":24.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0e27e47c-8316-4eec-8c52-db46db3850d8.jpg?v=1773552655","url":"https:\/\/shop.autorenwelt.de\/en\/products\/compiler-specification-and-verification-von-w-polak","provider":"Autorenwelt Shop","version":"1.0","type":"link"}