Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Program Construction - Calculating Implementations from Specifications

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

Autor: Roland C. Backhouse

Limbă:

Legare: Carte broșată

Editura: John Wiley & Sons Inc

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

342.85 lei

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

Informații despre carte

Autor

Roland C. Backhouse

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2003

Pagini

354

EAN

9780470848821

ISBN

0470848820

Enbook ID

04886165

Editura

John Wiley & Sons Inc

Greutate

640

Dimensiuni

195 x 235 x 20

Descriere completă

* 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