From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Looking for better Ada books
Date: Fri, 11 Mar 2016 14:05:02 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <nbujae$4d0$1@dont-email.me>
References: <a636c71c-e807-4532-816e-7ed6340bea79@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 11 Mar 2016 14:05:02 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="da745e888d4a5182b5fda6212bbb0a63";
	logging-data="4512"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19NIBtGxxQBPEg9DK4rHNuK1cuGGoGwgTA="
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
 git://git.gnome.org/pan2)
Cancel-Lock: sha1:xXrKceGAi+0NVNgfh1FSRHl0Bl0=
Xref: news.eternal-september.org comp.lang.ada:29716
Date: 2016-03-11T14:05:02+00:00
List-Id: <comp.lang.ada>

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