From: Ada novice <posts@gmx.us>
Subject: Re: installing SPARK GPL on Windows
Date: Sun, 8 Aug 2010 04:44:49 -0700 (PDT)
Date: 2010-08-08T04:44:49-07:00 [thread overview]
Message-ID: <0089f326-cf42-4f85-bfe6-f0709e53333b@f42g2000yqn.googlegroups.com> (raw)
In-Reply-To: 04c7dbc6-1c32-400e-926c-618c9bd1998d@g19g2000yqc.googlegroups.com
On Aug 8, 1:12 pm, Rod Chapman <roderick.chap...@googlemail.com>
wrote:
> The SPARK LRM is not really designed for novices. Much better to start
> with
> John Barnes' book (most obviously available from amazon.co.uk) or
> with the Tokeneer download package and the Tokeneer Discovery Tutorial
> package that we did - both available fromwww.adacore.com/tokeneer
> - Rod, SPARK Team
Yes the LRM is not a beginner's document. It'll come handy afterwards.
I've heard about Barnes' book and I think that it's the only book
available on SPARK. Thanks for the tokeener link. I need to study the
documents therein.
YC
next prev parent reply other threads:[~2010-08-08 11:44 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-07 17:43 installing SPARK GPL on Windows Ada novice
2010-08-07 19:37 ` Phil Thornley
2010-08-07 21:00 ` Ada novice
2010-08-08 11:12 ` Rod Chapman
2010-08-08 11:44 ` Ada novice [this message]
2010-08-08 11:48 ` Ada novice
2010-08-07 20:30 ` Yannick Duchêne (Hibou57)
2010-08-07 21:04 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox