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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dfe07f3170c8c0b4,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-19 05:52:40 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: ANNOUNCE: High Integrity Ada: The SPARK Approach availability Date: 19 Oct 2001 05:52:40 -0700 Organization: http://groups.google.com/ Message-ID: NNTP-Posting-Host: 213.155.153.242 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1003495960 13247 127.0.0.1 (19 Oct 2001 12:52:40 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 19 Oct 2001 12:52:40 GMT Xref: archiver1.google.com comp.lang.ada:14933 Date: 2001-10-19T12:52:40+00:00 List-Id: 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