Categories for Software Engineering - Fiadeiro, Jose Luiz
- Format: Broché 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 27 avril et le 2 mai
- 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 Categories For Software Engineering Format Broché - Livre Informatique
0 avis sur Categories For Software Engineering Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Cosaan =: Les Origines (La Civilisation Sereer) (French Edition)
Occasion dès 89,00 €
-
In The American West 40th Anniversary Edition
Neuf dès 80,00 €
Occasion dès 194,68 €
-
Animal Crossing: New Horizons Official Complete Guide
3 avis
Neuf dès 84,94 €
-
Pierre Molinier
Occasion dès 75,00 €
-
Bill Brandt: Shadow & Light
Occasion dès 63,67 €
-
Larousse Menager Illustre 1926
Occasion dès 50,00 €
-
Helen Levitt
Neuf dès 49,70 €
Occasion dès 44,00 €
-
Ruven Afanador: Angel Gitano
Occasion dès 115,99 €
-
Frederic Bazille And The Birth Of Impressionism
1 avis
Neuf dès 44,66 €
-
The Collected Works Of Chögyam Trungpa, Volume 9
Neuf dès 58,54 €
-
Woman In The Mirror
Occasion dès 44,00 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
-
Warhol Underground
1 avis
Occasion dès 90,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Peter Doig
1 avis
Neuf dès 74,71 €
Occasion dès 51,58 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Das Lyrische Werk
Neuf dès 123,20 €
Occasion dès 77,30 €
-
The Real Estate Game
Occasion dès 43,99 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Postmodern Analysis (Universitext)
Occasion dès 112,99 €
Produits similaires
Présentation Categories For Software Engineering Format Broché
- Livre Informatique
Résumé :
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book [91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This type-theoretic or functional approach corresponds to a view of c- puter science as a science of computation, i. e. a discipline concerned with the study of computational phenomena where the focus is on the nature and organisation of computations. However, there is another view of computer science where the focus is, instead, on the development of computer programs or systems. This is the approach that supports, for instance, software engineering. From this point of view, arrows do not capture computational phenomena, or abstractions thereof, but instead relationships between programs, or abstractions of programs, that arise in the development of computer systems, for instance, refinement of higher-level specifications into executable programs [100, 104], and superposition of new features over existing systems [72].
Biographie: ?Professor at the University of Leicester; Visiting Scientist at Imperial College, King's College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 - Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems
Sommaire:
Basics.- Introducing Categories.- Building Categories.- Universal Constructions.- Functors.- Advanced Topics.- Functor-Based Constructions.- Adjunctions.- Applications.- CommUnity.- Architectural Description.- An Algebra of Connectors.
Détails de conformité du produit
Personne responsable dans l'UE