Constructing Correct Software - Cooke, D John
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre70,55 €
Occasion · Très Bon État
Ou 17,64 € /mois
Option Express : Chez vous le 08/04 (?)
- Livraison GRATUITE
- Livré entre le 8 et le 11 avril
Ancien livre de bibliothèque avec équipements. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
83,81 €
Produit Neuf
Ou 20,95 € /mois
- Livraison : 25,00 €
- Livré entre le 25 et le 30 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.
-
88,19 €
Occasion · Comme Neuf
Ou 22,05 € /mois
4,41 € offerts- Livraison : 25,00 €
- Livré entre le 16 et le 25 avril
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
- 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 Constructing Correct Software Format Broché - Livre Informatique
0 avis sur Constructing Correct Software Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dragon Quest 8 - Guide Stratégique Officiel
23 avis
Occasion dès 42,15 €
-
Cosaan =: Les Origines (La Civilisation Sereer) (French Edition)
Occasion dès 89,00 €
-
La Sante Interdite
Occasion dès 58,47 €
-
In The American West 40th Anniversary Edition
Neuf dès 80,00 €
Occasion dès 194,68 €
-
Peter Doig
1 avis
Neuf dès 74,71 €
Occasion dès 51,58 €
-
Pierre Molinier
Occasion dès 75,00 €
-
Mark Morrisroe
Neuf dès 51,58 €
Occasion dès 42,45 €
-
Bill Brandt: Shadow & Light
Occasion dès 63,67 €
-
Love On The Left Bank
1 avis
Neuf dès 40,50 €
-
Larousse Menager Illustre 1926
Occasion dès 50,00 €
-
Helen Levitt
Neuf dès 49,70 €
Occasion dès 44,00 €
-
Karsh: A Biography In Images
Neuf dès 44,20 €
Occasion dès 42,57 €
-
Epigrammes, Tome Ii, 1re Partie (Livres Viii-Xii)
Occasion dès 35,80 €
-
Writing The Book Of The World
Neuf dès 43,22 €
-
Rethinking Metaphysics
Neuf dès 40,13 €
-
Textes Allemands : Classes Terminales
1 avis
Occasion dès 40,00 €
-
The Collected Works Of Chögyam Trungpa, Volume 9
Neuf dès 58,54 €
-
The Art Of Plein Air Painting
Neuf dès 40,25 €
-
Woman In The Mirror
Occasion dès 44,00 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
Produits similaires
Présentation Constructing Correct Software Format Broché
- Livre Informatique
Résumé :
This text illustrates and explains the constructive approach to software development. The approach involves calculating an answer from the initial statement of requirements or specification, rather than guessing an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no wrong answers are obtained. The text is accessible to anyone with a basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry....
Biographie:
Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core ...
Sommaire:
Preliminaries.- The Technical Background.- On Programming.- Fundamentals.- Algorithm Extraction.- Recursion Removal.- Quantifications.- Refinement and Re-use.- Developments.- Sorting.- Data Refinement.- Sorting Revisited.- Failures and Fixes.- Further Examples.- On Interactive Software....
Détails de conformité du produit
Personne responsable dans l'UE