{"product_id":"theory-of-program-structures-schemes-semantics-verification-von-sheila-a-greibach","title":"Theory of Program Structures","description":"\u003cp\u003eProgram schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540074151\"\u003e\u003ch3\u003eSchemes, Semantics, Verification\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540074151","offer_id":39435997904989,"sku":"9783540074151","price":24.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8be55698-347d-461e-b721-718830379626.jpg?v=1773553343","url":"https:\/\/shop.autorenwelt.de\/en\/products\/theory-of-program-structures-schemes-semantics-verification-von-sheila-a-greibach","provider":"Autorenwelt Shop","version":"1.0","type":"link"}