Algorithm Derivation by Transformations (Classic Reprint)

Sprache: Englisch

Verlag: Forgotten Books, 2018

1333034636 / 9781333034634

Artikelbild 1 von 2.

Anbieter: Forgotten Books, London, Vereinigtes KönigreichForgotten Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2021

Softcover

Zustand: Neu

EUR 15,95

 Versand gratis 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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. …

Bestandsnummer des Verkäufers 9781333034634_0

Titel
Algorithm Derivation by Transformations (Classic Reprint)
Autor
Micha Sharir
Verlag
Forgotten Books
Erscheinungsjahr
2018
Zustand
New
Buchtyp
print-on-demand item
Einband
Paperback
Sprache
Englisch
ISBN-10
1333034636
ISBN-13
9781333034634
Verkäuferkataloge
Calculus

Forgotten Books

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2021

Versandkosten von Vereinigtes Königreich nach USA

Artikel5 bis 10 Werktage5 bis 10 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shopbeschreibung

Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Spezialisierung

Trade

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Vereinigtes Königreich SW19 2RR