From: Brian Drummond <brian@shapes.demon.co.uk>
Subject: Re: Looking for better Ada books
Date: Fri, 11 Mar 2016 14:05:02 -0000 (UTC)
Date: 2016-03-11T14:05:02+00:00 [thread overview]
Message-ID: <nbujae$4d0$1@dont-email.me> (raw)
In-Reply-To: a636c71c-e807-4532-816e-7ed6340bea79@googlegroups.com
On Thu, 10 Mar 2016 07:00:29 -0800, MRV@gmail.com wrote:
> Hello,
>
> Are there any better books out there!
>
> I have the following books.
>
> Programming with ada by Peter Wegner
>
> Programming in Ada by Barnes 3rd edition Programming in Ada 95 by John
> Barnes 2nd edition Software Components with Ada by Grady Booch Reference
> Manual for the Ada Programming Language 1983 Ada 95 Reference Manual Ada
> 95 Rationale Understanding Ada by Bray and Pokrass
>
>
> Michael Vinn
From a slightly different perspective - not references to the language
itself but how to actually do things with it...
Building Parallel, Embedded and Real Time Applications with Ada
McCormick, Singhoff and Hughes,
And at least one book covering SPARK.
John Barnes has one, "High Integrity Software" is good but covers an
older version of SPARK (the book's been updated, but I haven't seen the
newer version)
In my in-tray waiting is "Building High Integrity Applications with
SPARK" (McCormick and Chapin).
-- Brian
next prev parent reply other threads:[~2016-03-11 14:05 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-10 15:00 Looking for better Ada books MRV@gmail.com
2016-03-10 16:59 ` Anh Vo
2016-03-10 21:39 ` Randy Brukardt
2016-03-11 14:29 ` G.B.
2016-03-12 2:47 ` Randy Brukardt
2016-03-12 7:10 ` Hadrien Grasland
2016-03-12 10:23 ` Georg Bauhaus
2016-03-12 18:13 ` Jeffrey R. Carter
2016-03-12 18:13 ` Jeffrey R. Carter
2016-03-14 23:23 ` Randy Brukardt
2016-03-13 2:42 ` mvinn@gmail.com
2016-03-14 23:32 ` Randy Brukardt
2016-03-15 10:50 ` Bob Butler
2016-03-13 13:30 ` gautier_niouzes
2016-03-10 17:35 ` Olivier Henley
2016-03-11 2:44 ` mvinn@gmail.com
2016-03-14 15:11 ` Olivier Henley
2016-03-11 14:05 ` Brian Drummond [this message]
2016-03-14 13:46 ` Luke A. Guest
2016-03-14 15:05 ` Olivier Henley
2016-03-14 17:57 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox