From: r_c_chapman@my-deja.com
Subject: ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now available
Date: Fri, 12 Jan 2001 11:17:43 GMT
Date: 2001-01-12T11:17:43+00:00 [thread overview]
Message-ID: <93mp4k$3kp$1@nnrp1.deja.com> (raw)
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/
next reply other threads:[~2001-01-12 11:17 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-01-12 11:17 r_c_chapman [this message]
2001-01-16 10:13 ` ANNOUNCE: 2nd print of High Integrity Ada: The SPARK Approach now available r_c_chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox