From: Britt <britt.snodgrass@gmail.com>
Subject: Re: Anyone else have trouble getting the SPARK book?
Date: Sat, 19 Jan 2013 18:32:29 -0800 (PST)
Date: 2013-01-19T18:32:29-08:00 [thread overview]
Message-ID: <de75649e-8392-44a0-9476-1de54d6e1362@googlegroups.com> (raw)
In-Reply-To: <1454f347-79bc-460d-93d1-90e9a17d6cea@googlegroups.com>
On Saturday, January 19, 2013 9:25:16 PM UTC-5, Britt wrote:
> I think the "blue" SPARK book is out of print. The new, updated version is available here:
>
> http://www.altran.co.uk/uksolutions/ecs/technology/spark/new-spark-book.html
Following the link leads to here:
http://www.cpibookdelivery.com/book/9780957290518/SPARK__The_Proven_Approach_to_High_Integrity_Software
Also, the current SPARK manuals are at http://docs.adacore.com/sparkdocs-docs/index.html
prev parent reply other threads:[~2013-01-20 2:32 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-17 8:18 Anyone else have trouble getting the SPARK book? Diogenes
2013-01-17 10:14 ` Phil Thornley
2013-01-17 13:04 ` Georg Bauhaus
2013-01-20 2:25 ` Britt
2013-01-20 2:32 ` Britt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox