Models of Sharing Graphs: A Categorical Semantics of Let and Letrec. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 1999
- Hardcover
- Gebraucht
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei ZVAB seit 22. Dezember 1999
Nicht verfügbar
Hardcover
Zustand: Gebraucht - Befriedigend
EUR 14,02
Artikelbeschreibung des Verkäufers
This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9781852331450.
Bestandsnummer des Verkäufers 9863769
- Titel
- Models of Sharing Graphs: A Categorical Semantics of Let and Letrec
- Autor
- Hasegawa, M.
- Verlag
- Springer
- Erscheinungsjahr
- 1999
- Zustand
- Good
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 1852331453
- ISBN-13
- 9781852331450
- Artikelgewicht
- 450 Gramm
- Verkäuferkataloge
- Mathematics
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.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.