67,77 €
Produit Neuf
Ou 16,94 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540133469_dbm
- 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 Semantics Of Data Types Format Broché - Livre Informatique
0 avis sur Semantics Of Data Types Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
Dragon Quest 8 - Guide Stratégique Officiel
23 avis
Occasion dès 34,70 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 36,70 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 35,00 €
-
Auteuil Hier Et Aujourd'hui : Tome 2, 1916-2003
2 avis
Occasion dès 46,39 €
-
The Helga Pictures
Occasion dès 36,26 €
-
Lazarus: The Third Collection
Neuf dès 53,95 €
Occasion dès 47,65 €
-
Antonio 60.70.80
Occasion dès 46,93 €
-
Cambridge English Pronouncing Dictionary
Neuf dès 98,15 €
Occasion dès 53,04 €
-
He-Man And The Masters Of The Universe: A Character Guide And World Compendium
3 avis
Occasion dès 50,00 €
-
Speaking - From Intention To Articulation
Occasion dès 38,94 €
-
C++ Primer
1 avis
Neuf dès 91,81 €
Occasion dès 42,00 €
-
Hopper & Cape Ann
Occasion dès 43,73 €
-
Dictionnaire Des Faux Amis Français-Anglais & English-French
Occasion dès 43,37 €
-
Anselm Kiefer
1 avis
Neuf dès 53,82 €
Occasion dès 37,95 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 47,39 €
-
Amazônia
Occasion dès 89,27 €
-
Back In The Days
1 avis
Occasion dès 34,00 €
-
Fundamentals Of Software Architecture
Occasion dès 38,59 €
Produits similaires
Présentation Semantics Of Data Types Format Broché
- Livre Informatique
Résumé :
A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications.
Sommaire:
A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theoryof parameterized specifications....
Détails de conformité du produit
Personne responsable dans l'UE