Coalgebraic Methods in Computer Science - Lutz Schröder
- Format: Broché
- 268 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre86,53 €
Produit Neuf
Ou 21,63 € /mois
- Livraison : 25,00 €
- Livré entre le 19 et le 24 juillet
![](https://fr.shopping.rakuten.com/rakuten-static-deliver/app/679.6.2/20211029/static/front/brand/www/images/default/structure/blank.gif)
4,8/5 sur + de 1 000 ventes
Nos autres offres
-
65,72 €
Occasion · Comme Neuf
Ou 16,43 € /mois
3,29 € offerts- Livraison GRATUITE
- Livré entre le 5 et le 11 juillet
- Protection acheteurs :
- 2,99 €
Neuf, en anglais, exp?dition rapide depuis Londres, Royaume-Uni; New, In English, Fast shipping from London, UK;ria9783642327834_lsuk
-
81,18 €
Produit Neuf
Ou 20,30 € /mois
- Livraison à 0,01 €
- Livré entre le 13 et le 15 juillet
-
100,38 €
Produit Neuf
Ou 25,10 € /mois
- Livraison à 0,01 €
- Livré entre le 10 et le 15 juillet
-
86,53 €
Produit Neuf
Ou 21,63 € /mois
- Livraison : 25,00 €
- Livré entre le 19 et le 24 juillet
4,8/5 sur + de 1 000 ventes
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
![](https://fr.shopping.rakuten.com/rakuten-static-deliver/app/679.6.2/20211029/static/front/brand/www/images/default/structure/blank.gif)
Avis sur Coalgebraic Methods In Computer Science de Lutz Schröder Format Broché - Livre
0 avis sur Coalgebraic Methods In Computer Science de Lutz Schröder Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Coalgebraic Methods In Computer Science de Lutz Schröder Format Broché
- Livre- Auteur(s) : Lutz Schröder - Dirk Pattinson
- Editeur : Springer Berlin
- Langue : Anglais
- Parution : 01/08/2012
- Nombre de pages : 268
- Expédition : 411
- Dimensions : 23.5 x 15.5 x 1.5
Sommaire:
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.- Defining Context-Free Power Series Coalgebraically.- Relational Presheaves as Labelled Transition Systems.- On Finitary Functors and Their Presentations.- Structural Operational Semantics for Continuous State Probabilistic Processes.- Stream Automata Are Coalgebras.- Trace Semantics via Determinizatio.- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.- Lax Extensions of Coalgebra Functors.- From Transitions to Executions.- Tracing the Man in the Middle in Monoidal Categories.- Permutations in Coinductive Graph Representation.- Internal Models for Coalgebraic Modal Logics.