Articles liés à The Correctness-by-Construction Approach to Programming
Synopsis
Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
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.Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour The Correctness-by-Construction Approach to Programming
Image fournie par le vendeur
The Correctness-by-Construction Approach to Programming
Edité par
Springer, 2012
ISBN 10 : 364227918X
ISBN 13 : 9783642279188
Ancien ou d'occasion
Couverture rigide
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Sehr gut. 280 Seiten; 9783642279188.2 Gewicht in Gramm: 1. N° de réf. du vendeur 1041826
Acheter D'occasion
EUR 23,88
Expédition à EUR 62,30
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
The Correctness-by-Construction Approach to Programming [Hardcover] Kourie, Derrick G. and Watson, Bruce W. (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 21d5ba08e1d2fc628949bc39c98fde47
Acheter neuf
EUR 86,24
Expédition à EUR 8
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Correctness-by-Construction Approach to Progra
impression à la demandeVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. N° de réf. du vendeur POD-157334
Acheter neuf
EUR 99,40
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Correctness-by-Construction Approach to Programming
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 16786977-n
Acheter neuf
EUR 115,62
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Correctness-by-Construction Approach to Programming
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642279188
Acheter neuf
EUR 117,99
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Correctness-by-Construction Approach to Programming
Edité par
Springer Berlin Heidelberg Apr 2012, 2012
ISBN 10 : 364227918X
ISBN 13 : 9783642279188
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.' 280 pp. Englisch. N° de réf. du vendeur 9783642279188
Acheter neuf
EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
The Correctness-by-Construction Approach to Programming
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642279188_new
Acheter neuf
EUR 116,57
Expédition à EUR 13,99
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Correctness-by-Construction Approach to Programming
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 16786977-n
Acheter neuf
EUR 116,56
Expédition à EUR 17,52
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Correctness-by-Construction Approach to Programming
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 364227918X
ISBN 13 : 9783642279188
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Step-by-step explanation of how to derive mathematically correct algorithms using small and tractable refinementsDetailed illustration of the presented methodology through a set of carefully selected graded examplesPractical applicability d. N° de réf. du vendeur 5055393
Acheter neuf
EUR 92,27
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Correctness-By-Construction Approach to Programming
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 280. N° de réf. du vendeur 2658591612
Acheter neuf
EUR 146,29
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)