Mathematical Methods in Program Development -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre141,78 €
Produit Neuf
Ou 35,45 € /mois
- Livraison à 0,01 €
- Livré entre le 16 et le 29 juillet
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
-
159,47 €
Produit Neuf
Ou 39,87 € /mois
- Livraison : 3,99 €
- Livré entre le 16 et le 22 juillet
Voir le détail de l'annonce -
162,56 €
Produit Neuf
Ou 40,64 € /mois
- Livraison : 25,00 €
- Livré entre le 30 juillet et le 4 août
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.
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Microeconomics, Global Edition
Neuf dès 145,74 €
Occasion dès 75,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Photographs
Occasion dès 80,09 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
-
The Princeton Companion To Applied Mathematics
1 avis
Neuf dès 128,31 €
-
Images Of Scotland
Neuf dès 90,78 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
Origami Design Secrets
Neuf dès 138,63 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
Cindy Sherman
Occasion dès 89,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 185,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
2 avis
Neuf dès 129,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Official Game Guide Mass Effect 3 Collector Edition
Occasion dès 79,00 €
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