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

Thread View: comp.lang.java.advocacy

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Casey Hawthorne Mon, 28 Sep 2009 02:56

#161

Author: Casey Hawthorne
Date: Mon, 28 Sep 2009 02:56

23 lines
1691 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads