Thinking About Programs

Lingua: inglese

Editore: Association of Computing Machinery,U.S., US, 2025

9798400731631

Da: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA

Venditore con 5 stelle

Venditore AbeBooks dal 10 giugno 2025

Brossura

Condizione: Nuovo

EUR 66,20

 Spedizione gratuita 
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct?The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know.The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.…

Codice articolo LU-9798400731631

Titolo
Thinking About Programs
Autore
Gavin Lowe
Editore
Association of Computing Machinery,U.S., US
Anno di pubblicazione
2025
Condizione
New
Rilegatura
Paperback
Lingua
inglese
ISBN 13
9798400731631

Rarewaves USA

HEBRON, KY, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 10 giugno 2025

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 13 a 14 giorni lavorativiDa 13 a 16 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
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.

Metodi di pagamento

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

Informazioni sull’azienda del venditore

Rarewaves USA

10100 West Sample Road, Ste 101
Coral Springs, FL U.S.A. 33065