Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Program Construction - Calculating Implementations from Specifications

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

Autor: Roland C. Backhouse

Jazyk:

Väzba: Brožovaná

Vydavateľ: John Wiley & Sons Inc

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

65.16 €

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

Informácie o knihe

Autor

Roland C. Backhouse

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

354

EAN

9780470848821

ISBN

0470848820

Enbook ID

04886165

Vydavateľ

John Wiley & Sons Inc

Hmotnosť

640

Rozmery

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