Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Program Construction - Calculating Implementations from Specifications

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

Autor: Roland C. Backhouse

Język:

Oprawa: Miękka

Wydawca: John Wiley & Sons Inc

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

262.56 zł

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

Informacje o książce

Autor

Roland C. Backhouse

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2003

strony

354

EAN

9780470848821

ISBN

0470848820

Enbook ID

04886165

Wydawca

John Wiley & Sons Inc

Waga

640

Wymiary

195 x 235 x 20

Pełny opis

* 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