Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Program Construction - Calculating Implementations from Specifications

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

Автор: Roland C. Backhouse

Език:

Корици: С меки корици

Издател: John Wiley & Sons Inc

Наличност: Външен склад

Изпращаме след 10-18 дни

68.44 € 133.86 лв

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

Информация за книгата

Автор

Roland C. Backhouse

Език

Английски език

Корици

Книга - С меки корици

Издадена

2003

страници

354

EAN

9780470848821

ISBN

0470848820

Enbook ID

04886165

Издател

John Wiley & Sons Inc

Теглоt

640

Размери

195 x 235 x 20

Пълно описание

* 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