166,13 €
Produit Neuf
Ou 41,53 € /mois
- Livraison à 0,01 €
- Livré entre le 21 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;ria9783540633884_dbm
Nos autres offres
-
96,09 €
Occasion · État Correct
Ou 24,02 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 9 septembre
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 -
166,13 €
Produit Neuf
Ou 41,53 € /mois
- Livraison à 0,01 €
- Livré entre le 21 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;ria9783540633884_dbm
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 Theoretical Aspects Of Computer Software Format Broché - Livre Informatique
0 avis sur Theoretical Aspects Of Computer Software Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Les Outils Dans Les Balkans Du Moyen Âge À Nos Jours
Occasion dès 50,00 €
-
Drive-In Dream Girls
Neuf dès 51,39 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Le Dictionnaire Visuel Multilingue - Français, Anglais, Espagnol, Allemand, Italien
1 avis
Occasion dès 53,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
The Palgrave Handbook Of The Southern Gothic
Neuf dès 55,22 €
-
Privatisation In India
Neuf dès 53,38 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dc Finest: Superman: Kryptonite Nevermore
Neuf dès 53,91 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
The Cure On Record
2 avis
Occasion dès 49,99 €
Produits similaires
Présentation Theoretical Aspects Of Computer Software Format Broché
- Livre Informatique
Sommaire:
Strong normalisation in higher-order action calculi.- Extending ML with semi-explicit higher-order polymorphism.- Optimal representations of polymorphic types with subtyping (Extended abstract).- Cyclic lambda calculi.- Type system for specializing polymorphism.- On strictness and totality.- Sound specialization in the presence of computational effects.- An axiomatic approach to binary logical relations with applications to data refinement.- Infinitary domain logic for finitary transition systems.- Some results in the join-calculus.- Local model checking for value-passing processes (Extended abstract).- Data refinement of remote procedures.- A type-theoretic approach to deadlock-freedom of asynchronous systems.- Composable semantic models for actor theories.- Classical programming-with-proofs in ? Sym PA : An analysis of non-confluence.- Environments, continuation semantics and indexed categories.- Comparing object encodings.- System F with width-subtyping and record updating.- Relational interpretations of recursive types in an operational setting (Summary).- Extending a logical framework with a modal connective for validity.- Using reflection to build efficient and certified decision procedures.- Sets in types, types in sets.- Combining Petri nets and PA-processes.- Symbolic model-checking method based on approximations and binary decision diagrams for real-time systems.- Types and models for higher-order action calculi.- Finite-state transducers as regular B?hm trees.- Secrecy by typing in security protocols.
Détails de conformité du produit
Personne responsable dans l'UE