The Correctness-By-Construction Approach To Programming de Kourie, Derrick G. Format Relié

The Correctness-by-Construction Approach to Programming - Kourie, Derrick G.

Format: Relié

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion

Reconditionné

135,67 €

Produit Neuf

Ou 33,92 € /mois

Livraison à 0,01 €
Livré entre le 4 et le 11 mai

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642279188_dbm

Nos autres offres

159,17 €

Produit Neuf

Ou 39,79 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 18 et le 23 mai
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié - Livre Informatique

Note : 0 0 avis sur The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié
- Livre Informatique

Livre Informatique - Kourie, Derrick G. - 01/04/2012 - Relié - Langue : Anglais

Auteur(s) : Kourie, Derrick G. - Watson, Bruce W.

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/04/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 280

Expédition : 588

Dimensions : 24.1 x 16.0 x 2.0

ISBN : 364227918X

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.

Bruce W. Watson is a full professor in the Department of Information Science at Stellenbosch University, and professor extraordinary at the University of Pretoria and director of the FASTAR (Finite Automata Systems - Theoretical and Applied Research) group, spanning the Netherlands, South Africa, the USA, and Finland. His research and development activities cover programming languages, automata and their applications, algorithms, parallelism, and reconfigurable computing.

Sommaire:
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. Bruce W. Watson is a full professor in the Department of Information Science at Stellenbosch University, and professor extraordinary at the University of Pretoria and director of the FASTAR (Finite Automata Systems - Theoretical and Applied Research) group, spanning the Netherlands, South Africa, the USA, and Finland. His research and development activities cover programming languages, automata and their applications, algorithms, parallelism, and reconfigurable computing....

This book is a must-read for every computer science student and every computing professional involved in software development. Based on a set of simple but powerful formal rules originally invented by computing pioneers E. W. Dijkstra and C. A. R. Hoare, the authors introduce the reader to the development of elegant and provably correct software. By emphasizing construction with a priori built-in correctness, the book goes one decisive step beyond formal verification. The goal is ambitious but the authors fully deliver. With a minimum of formalistic overhead, they walk the reader through a series of carefully chosen examples and use cases, thereby gradually unleashing the full power of the methodology. The book?s main merit, however, lies in the fact that it convincingly disproves the common belief that formal methods are not practicable in the real world. Jürg Gutknecht, ETH Zurich, Switzerland

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

The Correctness-by-Construction Approach to Programming - Kourie, Derrick G.

Avis sur The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié - Livre Informatique

Présentation The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié - Livre Informatique

Présentation The Correctness - By - Construction Approach To Programming de Kourie, Derrick G. Format Relié
- Livre Informatique