159,45 €
Produit Neuf
Ou 39,86 € /mois
- Livraison : 3,99 €
- Livré entre le 17 et le 24 septembre
Nos autres offres
-
162,56 €
Produit Neuf
Ou 40,64 € /mois
- Livraison : 25,00 €
- Livré entre le 1 et le 6 octobre
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 Mathematical Methods In Program Development Format Broché - Livre Informatique
0 avis sur Mathematical Methods In Program Development Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Common Sense
Occasion dès 115,00 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Art Of Ghost In The Shell
1 avis
Occasion dès 99,99 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 215,99 €
-
Visconti Modrone Tarot
Neuf dès 81,51 €
-
The Big Book Of B Movies
Occasion dès 96,20 €
-
Advanced Quantum Mechanics
Neuf dès 237,14 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Joseph Beuys Multiples: Catalogue Raisonné Of Multiples And Prints 1965-1985
Occasion dès 100,00 €
-
La Corse Face À Gênes : Entre Féodalité Et Modernité
Occasion dès 80,00 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
The Greek Magical Papyri In Translation, Including The Demotic Spells, Volume 1
Neuf dès 81,05 €
Produits similaires
Présentation Mathematical Methods In Program Development Format Broché
- Livre Informatique
Sommaire:
Eliminating the Chaff-Again: Banquet Speech at Marktoberdorf 1996.- Envoi at Marktoberdorf 1996.- 0. Designing Proofs and Programs.- Heuristics for a Very Simple Euclidean Proof (EWD1180).- Complete DAGs (EWD1204).- A Result of Rabbit Removal (EWD1208).- For the Record: Painting the Squared Plane (EWD1212).- The Marriage Agency (EWD1214).- Courtesy Dr. Birgit Schieder (EWD1215).- WLOG, or the Misery of the Unordered Pair (EWD1223).- My Simplest Theorem (EWD1232).- The Transitive Closure of a Wellfounded Relation (EWD1241).- The Formula for sin. (a + /?) (EWD1244a).- A Kind of Converse of Leibniz's Principle (EWD1245).- The Strengths of the Academic Enterprise (EWD1175).- On a Method for the Formal Design of Multiprograms.- Foundations for Calculational Logic.- 1. Examples of Protocol Design.- Specification and Design of a Transmission Protocol by Successive Refinements Using B.- Formal Derivation of a Protocol in CSP.- 2. Languages and Models for Program Design.- Genesis of Algorithmic Languages.- Mathematical Methods in System and Software Engineering.- Unified Theories of Programming.- 3. Programming Paradigms.- On the Relationship Between Classes, Objects and Data Abstraction.- The Oz Programming Model.- A Foundation for Higher-order Concurrent Constraint Programming.- 4. Mechanical Proof Assistance.- Tool Support for Logics of Programs.- Machine-Assisted Verification Using Theorem Proving and Model Checking.
Détails de conformité du produit
Personne responsable dans l'UE