Algorithm Derivation by Transformations (Classic Reprint)

Idioma: inglés

Editorial: Forgotten Books, 2018

1333034636 / 9781333034634

  • Tapa blanda
  • Nuevo
Ver todos los detalles
Imagen del artículo 1 de 2.

Librería: Forgotten Books, London, Reino UnidoForgotten Books

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 2 de junio de 2021

Tapa blanda

Condición: Nuevo

EUR 15,95

 Gastos de envío gratis 
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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

N° de ref. del artículo 9781333034634_0

Título
Algorithm Derivation by Transformations (Classic Reprint)
Autor
Micha Sharir
Editorial
Forgotten Books
Año de publicación
2018
Estado
New
Tipo de libro
print-on-demand item
Encuadernación
Paperback
Idioma
inglés
ISBN 10
1333034636
ISBN 13
9781333034634
Catálogos de vendedores
Calculus

Forgotten Books

London, Reino Unido

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 2 de junio de 2021

Tarifas de envío de Reino Unido a Estados Unidos de America

ArtículoDe 5 a 10 días hábilesDe 5 a 10 días hábiles
Primer artículoEUR 0,00EUR 0,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Descripción de la tienda

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.

Especialidad

Trade

Información empresarial del vendedor

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Reino Unido SW19 2RR