From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: ANNOUNCE: High Integrity Ada: The SPARK Approach availability
Date: 19 Oct 2001 05:52:40 -0700
Date: 2001-10-19T12:52:40+00:00 [thread overview]
Message-ID: <ba18d5cb.0110190452.77bc128b@posting.google.com> (raw)
It has come to our attention that many people are experiencing
significant difficulty, especially in the USA, in obtaining
the "SPARK Book" by John Barnes.
The book is definitely in print, and is available (we have about 40
copies here in the office for courses...), despite what is said
by the various on-line booksellers and their databases.
If you're having trouble obtaining a copy, please contact us directly
at sparkinfo@praxis-cs.co.uk and we will seek to rectify the
situation. Knowing how many people are in this situation will
be useful for us to pass on to our publisher.
Yours,
Rod Chapman
SPARK Team
Praxis Critical Systems
next reply other threads:[~2001-10-19 12:52 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-19 12:52 Rod Chapman [this message]
2001-10-20 5:50 ` ANNOUNCE: High Integrity Ada: The SPARK Approach availability Tarjei Tj�stheim Jensen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox