From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,666ce7f7787c6a54,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-12 03:36:30 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!newspump.monmouth.com!newspeer.monmouth.com!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: r_c_chapman@my-deja.com
Newsgroups: comp.lang.ada
Subject: ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now
 available
Date: Fri, 12 Jan 2001 11:17:43 GMT
Organization: Deja.com
Message-ID: <93mp4k$3kp$1@nnrp1.deja.com>
NNTP-Posting-Host: 193.114.91.187
X-Article-Creation-Date: Fri Jan 12 11:17:43 2001 GMT
X-Http-User-Agent: Mozilla/4.73 [en] (WinNT; U)
X-Http-Proxy: 1.0 PROXY,
 1.0 x53.deja.com:80 (Squid/1.1.22) for client 193.114.91.187
X-MyDeja-Info: XMYDJUIDr_c_chapman
Xref: supernews.google.com comp.lang.ada:3942
Date: 2001-01-12T11:17:43+00:00
List-Id: <comp.lang.ada>

We're pleased to announce the availability of the 2nd print of
"High Integrity Ada: The SPARK Approach" by John Barnes and
Praxis Critical Systems.

This printing updates the book to cover new features of the
SPARK Examiner release 5.0, which is included on the
accompanying CDROM.  The new print can be identified
by the CDROM, which is labelled "Release 2.0 August 2000"
The ISBN number is 0-201-17517-7

Owners of the first printing can upgrade their
SPARK Examiner by downloading the update available
on our website at http://www.sparkada.com/

All the best,
 Rod Chapman,
 SPARK Team,
 Praxis Critical Systems
 rod@praxis-cs.co.uk



Sent via Deja.com
http://www.deja.com/