Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Models of Sharing Graphs: A Categorical Semantics of let and letrec

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.

Informacija

Autorius: Masahito Hasegawa
Serija: Distinguished Dissertations
Leidėjas: Springer London
Išleidimo metai: 2011
Knygos puslapių skaičius: 152
ISBN-10: 1447112210
ISBN-13: 9781447112211
Formatas: 235 x 155 x 9 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Models of Sharing Graphs: A Categorical Semantics of let and letrec“

Būtina įvertinti prekę