Formal Methods, Informally

How to Write Programs That Work

Morgan, Carroll (University of New South Wales, Sydney) | Autoři

Vše od Cambridge University Press
ISBN: 9781009421027

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

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 250 Kč

1 - 2 ks
1 250 Kč
3 - 10 ks
1 238 Kč
11 a více ks
1 225 Kč

Předpoklad doručení do 11. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 250 Kč

Nepřehlédněte od Cambridge University Press

Více o produktu

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.

Výrobce
Cambridge University Press
Jazyk
United Kingdom
Autor
Morgan, Carroll (University of New South Wales, Sydney)
Rok vydání
2026
Počet stran
374
Obsah
Paperback / softback
Hmotnost
250
Počet stran
374 pages, Worked examples or Exercises

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods, Informally a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!