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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.139.197 with SMTP id ra5mr17287439pab.26.1441614493011;
        Mon, 07 Sep 2015 01:28:13 -0700 (PDT)
X-Received: by 10.182.105.230 with SMTP id gp6mr72712obb.12.1441614492964;
 Mon, 07 Sep 2015 01:28:12 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!kq10no1723233igb.0!news-out.google.com!nt1ni3318igb.0!nntp.google.com!kq10no1282338igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 7 Sep 2015 01:28:12 -0700 (PDT)
In-Reply-To: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=193.163.1.105;
 posting-account=Srm5lQoAAAAEMX9rv2ilEKR6FDPapmSq
NNTP-Posting-Host: 193.163.1.105
References: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <de199bbb-2f55-4dbc-91f6-b168341596f3@googlegroups.com>
Subject: Re: New SPARK book is published today
From: Mark Lorenzen <mark.lorenzen@gmail.com>
Injection-Date: Mon, 07 Sep 2015 08:28:12 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:27722
Date: 2015-09-07T01:28:12-07:00
List-Id: <comp.lang.ada>

On Thursday, September 3, 2015 at 10:10:35 AM UTC+2, roderick...@googlemail.com wrote:
> Hi everyone,
>  I'm pleased to say that the all-new SPARK book by John McCormick and
> Peter Chapin is published today.  It covers the SPARK 2014 language and
> tools in some detail.  Available for order on Amazon and all the usual
> places now.  For example:
> 
> http://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107656842/ref=sr_1_1?ie=UTF8&qid=1441267363&sr=8-1&keywords=mccormick+chapin+spark

Excellent! I ordered a copy at Amazon UK yesterday.

Unfortunately the delivery time is estimated to be at least 14 days, but I guess that's the price to pay for ordering an all-new book.

Regards,

Mark L