89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540008972_dbm
Nos autres offres
-
84,68 €
Produit Neuf
Ou 21,17 € /mois
- Livraison : 3,99 €
- Livré entre le 26 août et le 2 septembre
Voir le détail de l'annonce -
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540008972_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 Foundations Of Software Science And Computational Structures Format Broché - Livre Informatique
0 avis sur Foundations Of Software Science And Computational Structures Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
Columbo Under Glass - A Critical Analysis Of The Cases, Clues And Character Of The Good Lieutenant (Hardback)
Neuf dès 64,74 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Book Of The Nsu Prima 1956-1964 Prima D - V - Iii - Iiik -
Neuf dès 48,74 €
-
Les Outils Dans Les Balkans Du Moyen Âge À Nos Jours
Occasion dès 50,00 €
-
Inorganic Chemistry
Occasion dès 76,13 €
Produits similaires
Présentation Foundations Of Software Science And Computational Structures Format Broché
- Livre Informatique
Résumé :
selection process, and to thank all our subreferees for their invaluable contributions to this process.
Sommaire:
Invited Paper.- A Game Semantics for Generic Polymorphism.- Contributed Papers.- Categories of Containers.- Verification of Probabilistic Systems with Faulty Communication.- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.- Ambiguous Classes in the Games ?-Calculus Hierarchy.- Parameterized Verification by Probabilistic Abstraction.- Genericity and the ?-Calculus.- Model Checking Lossy Channels Systems Is Probably Decidable.- Verification of Cryptographic Protocols: Tagging Enforces Termination.- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.- When Ambients Cannot Be Opened.- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time.- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.- Manipulating Trees with Hidden Labels.- The Converse of a Stochastic Relation.- Type Assignment for Intersections and Unions in Call-by-Value Languages.- Cones and Foci for Protocol Verification Revisited.- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.- A Game Semantics of Linearly Used Continuations.- Counting and Equality Constraints for Multitree Automata.- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.- A Monadic Multi-stage Metalanguage.- Multi-level Meta-reasoning with Higher-Order Abstract Syntax.- Abstraction in Reasoning about Higraph-Based Systems.- Deriving Bisimulation Congruences: 2-Categories Vs Precategories.- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus....
Détails de conformité du produit
Personne responsable dans l'UE