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

Article View: comp.lang.java.advocacy

Article #161

Back to comp.lang.java.advocacy Previous Next

#161

From: 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

Technical Details

Message-ID: <v490c5l50o2h3p33n0v1q104l1247tu6tr@4ax.com>

Path:

arc1-ca.pugleaf.net!g2news2.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!newsfe13.iad.POSTED!7564ea0f!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Thread: 6dc253e6c5,5cc5a4a94430aaa1,start
X-Google-Attributes: gid6dc253e6c5,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: arc1-ca.pugleaf.net!g2news2.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!newsfe13.iad.POSTED!7564ea0f!not-for-mail
From: Casey Hawthorne <caseyhHAMMER_TIME@istar.ca>
Newsgroups: comp.lang.java.advocacy,fa.haskell
Subject: Elements of Programming  and  Practical Formal Software Engineering: Wanting the Software You Get 
Message-ID: <v490c5l50o2h3p33n0v1q104l1247tu6tr@4ax.com>
X-Newsreader: Forte Agent 5.00/32.1171
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Lines: 23
NNTP-Posting-Host: 96.49.42.78
X-Complaints-To: internet.abuse@sjrb.ca
X-Trace: newsfe13.iad 1254106598 96.49.42.78 (Mon, 28 Sep 2009 02:56:38 UTC)
NNTP-Posting-Date: Mon, 28 Sep 2009 02:56:38 UTC
Date: Sun, 27 Sep 2009 19:56:34 -0700