{"title":"Wolfgang Schreiner","description":null,"products":[{"product_id":"thinking-programs-springer-nature-switzerland-ag-9783030805098-logical-modeling-and-reasoning-about-languages-data-computations-and-executions-wolfgang-schreiner","title":"Thinking Programs","description":"\u003cp\u003e\u003cstrong\u003eThinking Programs\u003c\/strong\u003e by Wolfgang Schreiner.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2022), Paperback, 636 pages.\u003c\/p\u003e","brand":"Wolfgang Schreiner","offers":[{"title":"Default Title","offer_id":52257153024342,"sku":"9783030805098","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030805098.jpg?v=1767787091"},{"product_id":"concrete-abstractions-springer-international-publishing-ag-9783031249365-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-wolfgang-schreiner","title":"Concrete Abstractions","description":"\u003cp\u003eThis book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;\u003c\/p\u003e","brand":"Wolfgang Schreiner","offers":[{"title":"Default Title","offer_id":52267247698262,"sku":"9783031249365","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031249365.jpg?v=1767800070"},{"product_id":"concrete-abstractions-springer-international-publishing-ag-9783031249334-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-wolfgang-schreiner","title":"Concrete Abstractions","description":"\u003cp\u003eThis book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;\u003c\/p\u003e","brand":"Wolfgang Schreiner","offers":[{"title":"Default Title","offer_id":52277199110486,"sku":"9783031249334","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031249334.jpg?v=1767819263"}],"url":"https:\/\/www.bookshop.ee\/collections\/wolfgang-schreiner.oembed","provider":"Bookshop","version":"1.0","type":"link"}