Algorithm derivation transformations par micha sharir (8 résultats)
- Couverture souple
Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 24,52
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
- Couverture souple
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 24,54
EUR 3,85 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 15 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
- Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 33,98
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
- Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 32,97
EUR 4,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 15 disponible(s)
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Autres images- Couverture souple
- impression à la demande
Vendeur : Forgotten Books, London, Royaume-UniForgotten Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 15,49
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. Print on Demand. This book takes a deep dive into the fascinating world of algorithm derivation, exploring the process by which programmers transform abstract problem specifications into efficient and correct programs. The author examines the historical struggle to make programming more systematic and less… reliant on intuition, tracing the development of techniques like structured programming and high-level languages. The book argues that, while these tools are valuable, they often fail to capture the essence of programming. The author proposes a solution: a transformational programming system that would guide programmers through a series of well-defined, correctness-preserving transformations, starting with a high-level problem specification and culminating in a low-level, executable program. The book analyzes various techniques that could be incorporated into such a system, including formal differentiation, backtracking, recursion optimization, and the elimination of nondeterminism. Through detailed case studies of the topological sorting and the eight queens problems, the author demonstrates the potential of this approach for constructing complex algorithms. The book explores how a systematic approach to program derivation can not only produce effective solutions but also reveal the underlying relationships between different algorithmic solutions, contributing to a deeper understanding of the entire field. Ultimately, this book presents a compelling vision for a more systematic and rigorous approach to programming, one that could significantly enhance the efficiency and reliability of software development. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
- Couverture rigide
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 30,29
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Gebunden. Etat : New.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 37,44
EUR 61,20 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Buch. Etat : Neu. Neuware - This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references,…library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
- Couverture rigide
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 22,32
EUR 7,60 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 42.
