Coalgebraic Methods in Computer Science -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre76,21 €
Produit Neuf
Ou 19,05 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 août
Nos autres offres
-
80,20 €
Produit Neuf
Ou 20,05 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 17 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783662441237_dbm
Voir le détail de l'annonce -
138,35 €
Produit Neuf
Ou 34,59 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- 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
Avis sur Coalgebraic Methods In Computer Science Format Broché - Livre Informatique
0 avis sur Coalgebraic Methods In Computer Science Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Emi's The Complete Beatles Recording Sessions: The Official Story Of The Abbey Road Years
Occasion dès 42,72 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Canon Eos R5 Mark Ii User Guide
Neuf dès 44,77 €
-
Triumph Triples & Fours (91-04)
Neuf dès 44,29 €
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
Daggerheart Core Set
Neuf dès 43,59 €
Occasion dès 40,49 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Global Objects
Neuf dès 48,75 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Dc Finest: Hawkman: Wings Across Time
Neuf dès 39,84 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Investigating Veronica Mars
Neuf dès 39,25 €
Produits similaires
Présentation Coalgebraic Methods In Computer Science Format Broché
- Livre Informatique
Résumé :
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Sommaire:
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).- Generic Weakest Precondition Semantics from Monads Enriched with Order.- Coalgebraic Multigames.- How to Kill Epsilons with a Dagger.- On Coalgebras with Internal Moves.- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.- Coalgebraic Simulations and Congruences.- Dijkstra Monads in Monadic Computation.- Categories of Coalgebras with Monadic Homomorphisms.- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.- Canonical Nondeterministic Automata.- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra.- Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
Détails de conformité du produit
Personne responsable dans l'UE