comp.lang.ada
 help / color / mirror / Atom feed
From: Vincent <vincent.diemunsch@gmail.com>
Subject: Re: New SPARK book is published today
Date: Thu, 3 Sep 2015 01:42:45 -0700 (PDT)
Date: 2015-09-03T01:42:45-07:00	[thread overview]
Message-ID: <db0417bf-0509-4a2a-a90f-fc6df66b6c56@googlegroups.com> (raw)
In-Reply-To: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com>

Le jeudi 3 septembre 2015 10:10:35 UTC+2, roderick...@googlemail.com a écrit :
> 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.

Hello Rod,

That's interesting. Would it be possible to see the content of the book,
i.e. the name of the chapters ? I coudn't find the information on Amazon.

Regards,

Vincent


  reply	other threads:[~2015-09-03  8:42 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 [this message]
2015-09-03 10:08   ` Dirk Craeynest
2015-09-18 14:06     ` G.B.
2015-09-07  8:28 ` Mark Lorenzen
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