storiet v.2

theme

voice

language

sign in
Capa de Program Construction

a novel ·

Program Construction

por

Unique approach tackles what most books don'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 …

start reading + shelf
  • ● 97% match for you
  • ● literary fiction, science & technology

the long version

Unique approach tackles what most books don'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

M

Margaret's verdict

"Unique approach tackles what most books don'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 …"

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.