The Correctness-by-Construction Approach to Programming - Kourie, Derrick G.
- Format: Broché
- 280 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreLivre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
159,13 €
Produit Neuf
Ou 39,78 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 14 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.
- 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 The Correctness - By - Construction Approach To Programming Format Broché - Livre Informatique
0 avis sur The Correctness - By - Construction Approach To Programming 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 Guide To The Project Management Body Of Knowledge (Pmbok® Guide) ? Seventh Edition And The Standard For Project Management (English)
Neuf dès 23,40 €
-
Biographies In The History Of Physics
Neuf dès 36,33 €
Occasion dès 235,31 €
-
Rhinoplasty
Neuf dès 36,33 €
Occasion dès 459,99 €
-
Understanding Understanding
Neuf dès 36,33 €
Occasion dès 278,99 €
-
Finite Markov Chains
Neuf dès 24,89 €
Occasion dès 79,99 €
-
I Have No Mouth & I Must Scream: Stories
Neuf dès 15,10 €
-
The Hair Fibre: Proteins, Structure And Development
Neuf dès 24,89 €
-
Statistical Physics Of Spin Glasses And Information Processing
Neuf dès 24,89 €
-
Quantitative Value
Neuf dès 24,89 €
-
Bayesian Methods In Health Economics
Neuf dès 24,89 €
Occasion dès 106,99 €
-
Adversarial Tradecraft In Cybersecurity
Neuf dès 24,02 €
Occasion dès 55,99 €
-
Modern Bayesian Statistics In Clinical Research
Neuf dès 20,82 €
-
Fundamentals Of Ethnic Hair
Neuf dès 20,82 €
-
Clean Code: A Handbook Of Agile Software Craftsmanship
Neuf dès 25,57 €
-
$100m Offers Summary And Workbook: How To Make Offers So Good People Feel Stupid Saying No
Occasion dès 14,30 €
-
Complete Japanese Joinery : A Handbook Of Japanese Tool Use And Woodworking For Joiners And Carpenters
Neuf dès 31,51 €
Occasion dès 316,99 €
-
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, And Maintainable Systems
Neuf dès 24,60 €
-
Yoga Over 50
Neuf dès 20,09 €
-
Cicely Saunders
Neuf dès 36,33 €
Occasion dès 251,99 €
-
Statistical Thermodynamics
Neuf dès 20,82 €
Produits similaires
Présentation The Correctness - By - Construction Approach To Programming Format Broché
- Livre InformatiqueAuteur(s) : Kourie, Derrick G. - Watson, Bruce W.Editeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/05/2014Format : Moyen, de 350g à 1kgNombre de pages : 280Expédition :...
Résumé :
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as ?correctness-by-construction,? a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way.? First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems.? The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE?s Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer?s arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to ?refound software engineering based on a solid theory.?
Biographie: Derrick G. Kourie is a full professor in the Department of Computer Science at the University of Pretoria in South Africa. He has published extensively on software engineering, algorithm construction and analysis, and formal methods and specification languages. His goal is to combine theory and practice in a way that impacts the efficiency and effectiveness of the software process.
Détails de conformité du produit
Personne responsable dans l'UE