ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now available

ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now available

[r_c_chapman]

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/

Re: ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now available

[r_c_chapman]

In article <93mp4k$3kp$1@nnrp1.deja.com>,
  r_c_chapman@my-deja.com wrote:
> The ISBN number is 0-201-17517-7

It has been brought to my attention that Addison Wesley's
Website at http://cseng.aw.com/ has not yet been updated
with details of the new book.  No doubt this will
be corrected in the near future...
 - Rod


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