89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 12 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319221014_dbm
Nos autres offres
-
85,47 €
Produit Neuf
Ou 21,37 € /mois
- Livraison : 3,99 €
- Livré entre le 28 août et le 3 septembre
Voir le détail de l'annonce -
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 12 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319221014_dbm
Voir le détail de l'annonce -
200,69 €
Produit Neuf
Ou 50,17 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 16 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
- 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 Interactive Theorem Proving Format Broché - Livre Informatique
0 avis sur Interactive Theorem Proving Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
The Lives Of Seaweeds
Neuf dès 49,86 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Saints At The Limits
Neuf dès 54,44 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Vandals: The Photography Of The Bikeriders
Neuf dès 52,09 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
The Oxford Handbook Of Maritime Archaeology
Neuf dès 115,11 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Magasin Général, Integrale De Tomes 8 & 9. Les Femmes / Notre Dame Des Lacs
Occasion dès 50,00 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
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 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
Produits similaires
Présentation Interactive Theorem Proving Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Sommaire: Verified, Practical Upper Bounds for State Space Diameters.- Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory.- ROSCoq: Robots powered by Constructive Reals.- Asynchronous processing of Coq documents: from the kernel up to the user interface.- A Concrete Memory Model for CompCert.- Validating Dominator Trees for a Fast, Verified Dominance Test.- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra.- Mechanisation of AKS Algorithm.- Machine-Checked Verification of the Correctness and Amortized.- Improved Tool Support for Machine-Code Decompilation in HOL4.- A Formalized Hierarchy of Probabilistic System Types.- Learning To Parse on Aligned Corpora.- A Consistent Foundation for Isabelle/HOL.- Foundational Property-Based Testing.- A First-Order Functional Intermediate Language for Verified Compilers.- Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions.- ModuRes: a Coq Library for Modular Reasoning about Concurrent.- Higher-Order Imperative Programming Languages.- Transfinite Constructions in Classical Type Theory.- A Mechanized Theory of regular trees in dependent type theory.- Deriving Comparators and Show-Functions in Isabelle/HOL.- Formalizing Knot Theory in Isabelle/HOL.- Pattern Matches in HOL: A New Representation and Improved Code Generation.
Détails de conformité du produit
Personne responsable dans l'UE