Mathematical Methods in Program Development -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre135,87 €
Produit Neuf
Ou 33,97 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642645884_dbm
Nos autres offres
-
162,56 €
Produit Neuf
Ou 40,64 € /mois
- Livraison : 25,00 €
- Livré entre le 21 et le 27 avril
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.
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
Neuf dès 153,61 €
-
Yoga Art
Occasion dès 138,25 €
-
Art And Flair Of Mary Blair, The-Updated Edition
Occasion dès 149,00 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 80,22 €
-
L'amica Geniale. Edizione Completa
Occasion dès 70,19 €
-
Machine Learning And Data Sciences For Financial Markets
Neuf dès 150,03 €
Occasion dès 78,87 €
-
Michael Kenna - Arbres / Trees
2 avis
Occasion dès 95,00 €
-
Lillian Bassman / Paul Himmel
Occasion dès 106,99 €
-
Le Cul De La Femme - Une Collection De Portraits De Pierre Louÿs (1892-1914)
5 avis
Occasion dès 69,00 €
-
J W Waterhouse
Occasion dès 125,15 €
-
The Ballad Of Sexual Dependency
Occasion dès 84,91 €
-
Edmond Lachenal And His Legacy
Occasion dès 84,68 €
-
Mantegna Tarot: Tarot Cards With Silver Decoration, Instructions
Occasion dès 100,00 €
-
James Bama: American Realist
Occasion dès 185,00 €
-
Bird Coloration
Neuf dès 236,01 €
Occasion dès 192,17 €
-
Babembe Sculpture
1 avis
Occasion dès 119,00 €
-
The Baltic Sea And Approaches
Occasion dès 96,27 €
-
Traditional Chinese Patterns And Colours: Chinese Ethnic Minority Motifs (With Cd)
Occasion dès 118,35 €
-
Murakami: Ego
Neuf dès 146,45 €
-
Rccpf Norway
Neuf dès 85,37 €
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