Formal Methods, Informally: How to Write Programs That Work (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwaretestning
  5. Programmeringsteknikker
  6. Algoritmer og datastrukturer
  7. Matematisk datateori
  8. Formal Methods, Informally: How to Write Programs That Work

Formal Methods, Informally: How to Write Programs That Work

(Bog, Hardback, Engelsk)
Forfatter: Carroll (University of New South Wales Morgan
Forlag: Cambridge University Press

Bemærk: Kan ikke garanteres før jul. Se dato på varen.

Forventes på lager: 31-01-2026

Levering: Kan forudbestilles (Forventes d. 31-01-2026)

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Matematisk datateori Programmeringsteknikker Softwaretestning
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on decades of teaching and industrial experience to explain how to write correct, concise programs - without formal logic. Examples focus on small, understandable programs; and over 200 exercises are included.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Carroll (University of New South Wales Morgan
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 31-01-2026
Første udgivelsesår 2026
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 382
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 382 pages, Worked examples or Exercises
ISBN-13 / EAN-13 9781009420990