comp.lang.ada
 help / color / mirror / Atom feed
From: Mark Lorenzen <mark.lorenzen@gmail.com>
Subject: Re: New SPARK book is published today
Date: Mon, 7 Sep 2015 01:28:12 -0700 (PDT)
Date: 2015-09-07T01:28:12-07:00	[thread overview]
Message-ID: <de199bbb-2f55-4dbc-91f6-b168341596f3@googlegroups.com> (raw)
In-Reply-To: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com>

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

  parent reply	other threads:[~2015-09-07  8:28 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-03  8:10 New SPARK book is published today roderick.chapman
2015-09-03  8:42 ` Vincent
2015-09-03 10:08   ` Dirk Craeynest
2015-09-18 14:06     ` G.B.
2015-09-07  8:28 ` Mark Lorenzen [this message]
2015-09-10  9:39   ` Jerry van Dijk
2015-09-14  9:03     ` Mark Lorenzen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox