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.107.28.2 with SMTP id c2mr47735120ioc.16.1441267833904;
        Thu, 03 Sep 2015 01:10:33 -0700 (PDT)
X-Received: by 10.182.120.10 with SMTP id ky10mr142007obb.37.1441267833845;
 Thu, 03 Sep 2015 01:10:33 -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!feeder.erje.net!us.feeder.erje.net!news.ripco.com!news.glorb.com!kq10no985158igb.0!news-out.google.com!nt1ni22911igb.0!nntp.google.com!kq10no985152igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 3 Sep 2015 01:10:33 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=80.194.246.98;
 posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
NNTP-Posting-Host: 80.194.246.98
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com>
Subject: New SPARK book is published today
From: roderick.chapman@googlemail.com
Injection-Date: Thu, 03 Sep 2015 08:10:33 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:27689
Date: 2015-09-03T01:10:33-07:00
List-Id: <comp.lang.ada>

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

 - Rod