280 pp. Index. Diagrams. Spine, corners bumped. Prev owner's name on front pastedown. Focuses on the mathematical abstractions of programs. ; 8vo 8" - 9" tall.

Codice articolo COMP0110

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Origins of Programming Discourses on Methodology

Editore

Springer-Verlag, New York

Data di pubblicazione

1990

ISBN 10

0387970614

ISBN 13

9780387970615

Rilegatura

Hardcover

Condizione

Very Good- with no dust jacket

Cataloghi dei venditori

Descrizione articolo

Riassunto

The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as an independent discipline. The principal goals in this book are to explain the line of thought that was followed in solving these problems, demonstrate the workings of the mathematical way of thinking, carefully analyze the different stages of descriptive analysis and problem formulation, and reveal the aesthetic component in the search for solutions - in other words, to try to turn the reader into a true witness of the process of discovering mathematical results. In the first part of the book the author considers the storage minimization packing, or storage problem schemas. The problem of storage packing is treated as an example that illustrates how to solve an application problem by means of mathematical methods. In the second part the author presents the theory of Yanov program schemas, a classical theory generally recognized as having served as a foundation of the mathematical theory of programming. This is analyzed as a methodological example that illustrates how a fully developed theory can be extended to a new class of phenomena and objects: program schemas and configurations of program schemas.

Contenuti

Contents: Part 1: Storage Allocation in Program Schemas.- Descriptive Analysis of the Problem.- Statement of the Problem and General Theory.- Algorithmization.- Implementation.- Concluding Analysis.- Part II: Transformations of Yanov Schemas.- Brief Review of Mathematical Logic.- Yanov Schemas.- Calculus of Equivalence Transformations.- Bibliography.- Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Purveyors of hard to find, unusual, out of print, and rare books. If you don't see the book you want listed, please ask us. We just may have it in the stack beside our desk.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Riverwash Books Inc.
642 Royal Place, Prescott, ON, K0E 1T0, Canada

Condizioni di vendita e spedizione

Condizioni di vendita

All prices are in US dollars. We accept payment by personal check, money order (International money order if outside Canada), Paypal, or credit cards that are accepted through ABE books. Canadian residents are subject to 5% GST.

Returns are accepted within 10 business days of receipt of the item, with prior notification. A full refund of the book price will be given. Although the condition of an item is provided and major defects noted, if found to be not as described, and the error is ours, we ...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

United States orders ship from Ogdensburg, New York, Canadian orders from Prescott, Ontario. Orders to other countries generally ship from the United States.

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. If the book is light, we will reduce charges where possible.

Tariffe di spedizione da Canada a Italia

Tariffe di spedizione da Canada a Italia
Quantit� dell?ordine	Da 10 a 21 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 55.43	EUR 81.02

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.