Książka Program Construction - Calculating Implementations  from Specifications Roland C. Backhouse

Program Construction - Calculating Implementations from Specifications

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-18 dni
262.56
* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a pr...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2003
strony
354
EAN
9780470848821
ISBN
0470848820
Enbook ID
04886165
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

Możesz być zainteresowany

Probationer's Handbook

George T. Mortimer
54.02
242.31
216.02
212.42

Ruling Elite

Deanna Spingola
99.59
927.32

Scriptural Geography

Edwin James Aiken
674.77

Klienci, którzy kupili tę książkę, kupili również

FALTAS

CECILIA GENTILI
85.76