Elements of Programming and Practical Formal Software Engineering: Wanting the Software You Get

[Casey Hawthorne]

Two nifty books out.

Elements of Programming
by Alexander Stepanov, Paul McJones

From www.amazon.com
Elements of Programming provides a different understanding of
programming than is presented elsewhere. Its major premise is that
practical programming, like other areas of science and
engineering,must be based on a solid mathematical foundation.

Practical Formal Software Engineering: Wanting the Software You Get by
Bruce Mills

From www.amazon.com
Practical Formal Software Engineering is a textbook aimed at final
year undergraduate and graduate students, emphasizing formal methods
in writing robust code quickly.

--
Regards,
Casey