{"product_id":"mathematical-theory-of-domains-cambridge-tracts-in-theoretical-computer-science-series-number-22-0521064791","title":"Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0521064791\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Stoltenberg-Hansen, V.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eDomain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51943678902560,"sku":"NEW0521064791","price":99.6,"currency_code":"USD","in_stock":false}],"url":"https:\/\/miakarts.com\/products\/mathematical-theory-of-domains-cambridge-tracts-in-theoretical-computer-science-series-number-22-0521064791","provider":"Miakarts Books","version":"1.0","type":"link"}