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,dce17094f2aeee50
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-13 20:29:05 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!uni-erlangen.de!news-nue1.dfn.de!news-lei1.dfn.de!news.uni-jena.de!news.fh-jena.de!not-for-mail
From: Prof Karl Kleine <kleine@fh-jena.de>
Newsgroups: comp.lang.ada
Subject: Re: SPARK
Date: 14 Aug 2001 03:14:57 GMT
Organization: Fachhochschule Jena, Germany
Message-ID: <9la53h$k62$1@beta.szi.fh-jena.de>
References: <UUzb7.42923$uj2.7462172@news02.optonline.net>
 <3B6FA8B9.5842ADCA@praxis-cs.co.uk>
NNTP-Posting-Host: hoare.gw.fh-jena.de
X-Trace: beta.szi.fh-jena.de 997758897 20674 194.94.38.12 (14 Aug 2001
 03:14:57 GMT)
X-Complaints-To: news@beta.szi.fh-jena.de
NNTP-Posting-Date: 14 Aug 2001 03:14:57 GMT
User-Agent: tin/1.4.2-20000205 ("Possession") (UNIX) (Linux/2.2.16 (i686))
Xref: archiver1.google.com comp.lang.ada:11885
Date: 2001-08-14T03:14:57+00:00
List-Id: <comp.lang.ada>

Peter Amey <peter.amey@praxis-cs.co.uk> wrote:
[.....]
> The Barnes book has recently been updated and the publishers have not
> done a very good job of telling people about it: if you try and get a
> copy and are told it is out of print then tell them they are wrong!  The
> demo Examiner is limited only in size; all analysis options are
> available.
[.....]

Peter, I just checked the 'SPARK Book' entry on the www.sparkada.com site
and there is an offer of an update of the demo software on the CDROM, but
it does not say anything about the update of the book itself. Yes, I do
own a private copy (of course, being a serious person :-).

Two questions:

 -- Is there an update paper for the book itself, or something to this effect?

 -- How do I recognize the updated book? New isbn? "second edition" in title? 

Thanks!
Karl Kleine