Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Program Construction - Calculating Implementations from Specifications

Name: Program Construction - Calculating Implementations from Specifications
Brand: John Wiley & Sons Inc
SKU: 9780470848821
Price: 1499 CZK
Availability: InStock

Autor: Roland C. Backhouse

Jazyk:

Vazba: Brožovaná

Vydavatel: John Wiley & Sons Inc

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

1 499 Kč

* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a pr...

Informace o knize

Autor

Roland C. Backhouse

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2003

Stránek

354

EAN

9780470848821

ISBN

0470848820

Enbook ID

04886165

Vydavatel

John Wiley & Sons Inc

Hmotnost

640

Rozměry

195 x 235 x 20

Kompletní popis

* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a programmer* This comprehensive guide is a balanced combination of mathematical theory and the practice of programming* Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions* Includes a wide range of entertaining and challenging examples and exercises