Articles liés à Models of Sharing Graphs: A Categorical Semantics of...
Synopsis
Models of Sharing Graphs 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2011
- ISBN 10 1447112210
- ISBN 13 9781447112211
- ReliureBroché
- Langueanglais
- Nombre de pages152
Acheter neuf
Afficher cet article
EUR 53,73
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Models of Sharing Graphs: A Categorical Semantics of...
Image d'archives
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530316219
Quantité disponible : Plus de 20 disponibles
Image d'archives
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781447112211_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Models of Sharing Graphs
Edité par
Springer London Okt 2011, 2011
ISBN 10 : 1447112210
ISBN 13 : 9781447112211
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 152 pp. Englisch. N° de réf. du vendeur 9781447112211
Quantité disponible : 2 disponible(s)
Image d'archives
Models of Sharing Graphs: A Categorical Semantics of let and letrec
Edité par
Springer London Ltd, 2011
ISBN 10 : 1447112210
ISBN 13 : 9781447112211
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 254. N° de réf. du vendeur C9781447112211
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781447112211
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Models of Sharing Graphs
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 l. N° de réf. du vendeur 4184098
Quantité disponible : Plus de 20 disponibles
Image d'archives
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9781447112211
Quantité disponible : 10 disponible(s)
Image d'archives
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Edité par
Springer, 2011
ISBN 10 : 1447112210
ISBN 13 : 9781447112211
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA77314471122106
Quantité disponible : 1 disponible(s)