Algebra and Coalgebra in Computer Science -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre91,55 €
Produit Neuf
Ou 22,89 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
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.
- 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 Algebra And Coalgebra In Computer Science Format Broché - Livre Informatique
0 avis sur Algebra And Coalgebra In Computer Science Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Yoshitomo Nara: Pinacoteca
Occasion dès 62,33 €
-
Pomellato
Occasion dès 80,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,01 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
The Colouring, Bronzing And Patination Of Metals
Neuf dès 74,06 €
Occasion dès 60,00 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
Los Detectives Salvajes (Coleccion Compactos)
Occasion dès 87,99 €
-
Kham, Vol. 1: The Tar Part Of Kham, Tibet Autonomous Region (The Cultural Monuments Of Tibet's Outer Provinces)
Occasion dès 118,00 €
-
Simone Pheulpin
Neuf dès 79,00 €
Occasion dès 134,22 €
-
Evading Edr
Neuf dès 48,24 €
-
Power Electronics
Neuf dès 55,39 €
Produits similaires
Présentation Algebra And Coalgebra In Computer Science Format Broché
- Livre Informatique
Sommaire:
Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.- Labels from Reductions: Towards a General Theory.- Adequacy for Algebraic Effects with State.- Contributed Papers.- Bisimilarity Is Not Finitely Based over BPA with Interrupt.- Algebra ? Coalgebra = Presheaves.- Strong Splitting Bisimulation Equivalence.- Complete Axioms for Stateless Connectors.- On the Semantics of Coinductive Types in Martin-L?f Type Theory.- Look: Simple Stochastic Relations Are Just, Well, Simple.- Modelling Fusion Calculus using HD-Automata.- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.- Using Proofs by Coinduction to Find Traditional Proofs.- From T-Coalgebras to Filter Structures and Transition Systems.- Context-Free Languages via Coalgebraic Trace Semantics.- Towards a Coalgebraic Semantics of the Ambient Calculus.- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.- Ultrafilter Extensions for Coalgebras.- Equational Logic of Recursive Program Schemes.- The Category Theoretic Solution of Recursive Program Schemes.- A Categorical Approach to Simulations.- Behavioral Extensions of Institutions.- Discrete Lawvere Theories.- Final Semantics for Event-Pattern Reactive Programs.- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.- Final Sequences and Final Coalgebras for Measurable Spaces.- Bireachability and Final Multialgebras.- Parametrized Exceptions.- Property Preserving Redesign of Specifications....
Détails de conformité du produit
Personne responsable dans l'UE