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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a5d:9d01:: with SMTP id j1mr18188111ioj.205.1558936189300;
        Sun, 26 May 2019 22:49:49 -0700 (PDT)
X-Received: by 2002:aca:c450:: with SMTP id u77mr5652452oif.119.1558936189108;
 Sun, 26 May 2019 22:49:49 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!i64no1525174iti.0!news-out.google.com!p73ni346itp.0!nntp.google.com!c92no1524642itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 26 May 2019 22:49:48 -0700 (PDT)
In-Reply-To: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a00:23c0:8889:5d00:b158:4283:d26b:d94;
 posting-account=73UL0goAAADfuusNwxabl1iogPD6ylxL
NNTP-Posting-Host: 2a00:23c0:8889:5d00:b158:4283:d26b:d94
References: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <68b7d60e-0577-44eb-91a1-d2fb33037b95@googlegroups.com>
Subject: Re: SPARK and Ada books and journals I no longer require
From: obyrneaustin@gmail.com
Injection-Date: Mon, 27 May 2019 05:49:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:56385
Date: 2019-05-26T22:49:48-07:00
List-Id: <comp.lang.ada>

On Friday, 11 January 2019 05:40:09 UTC, Phil Thornley  wrote:
> Before they get recycled, I'm listing here SPARK and Ada books and journa=
ls no longer required.
>=20
> Available at cost of carriage, or pick up for free (UK - Manchester).
>=20
> Phil Thornley
>=20
>=20
> SPARK Books
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Barnes: High Integrity Ada The SPARK Approach (H/B 1997)
>    3 copies - one as new, signed by John Barnes and Bernard Carr=C3=A9
>=20
> Barnes: High Integrity Software The SPARK Approach to Safety and Security=
 (H/B 2003)
>    2 copies - one as new, signed by John Barnes
>=20
> Barnes: SPARK The proven approach to High Integrity Software (2012)
>    2 copies - one H/B as new, signed by John Barnes
>               one P/B
>=20
> McCormick, Chapin: Building High Integrity Applications with SPARK (P/B 2=
015)
>=20
>=20
> Ada Books
> =3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Barnes: Programming in Ada 95
>           2nd Edition (P/B 1998)
>           1st Edition (P/B 1995)
>=20
> Cohen: Ada as a Second Language (Ada 95 version) (P/B 1996)
>=20
> Burns, Wellings: Real-Time Systems and Programming Languages
>                     3rd Edition (H/B 2001)
>                     2nd Edition (P/B 1996)
>=20
> Burns, Wellings: Concurrency in Ada (H/B 1995)
>=20
> Feldman: Software Construction and Data Structures with Ada95 (P/B 1996)
>=20
> Feldman, Koffman: Ada95 Problem Solving and Program Design 2nd Edition (P=
/B 1996)
>=20
> Booch: Software Engineering with Ada 2nd Edition (P/B 1986)
>=20
>=20
> Ada Journals
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Ada Letters
>    Volumes XI/5 to XXVI/2
>    Missing:   XVII/6
>               XXVII/1
>=20
> Ada User Journal
>     Volumes 24/1 to 39/1
>     Missing   24/4
>               25/1
>               37/1&2
>=20
> Other Software Engineering Books
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Meyer: Object-Oriented Software Construction (P/B 1988)
>=20
> Meyer: Object-Oriented Software Construction  Second Edition (P/B 1997)
>=20
> Gamma, Helm, Johnson, Vlissides: Design Patterns (H/B 1995)
>=20
> Coad, Yourdon: Object-Oriented Analysis (H/B 1990)
>=20
> DeMarco: Structured Analysis and System Specification (P/B 1978)
>=20
> Morgan: Programming from Specifications (P/B 1990)
>=20
> Ince: An Introduction to Discrete Mathematics, Formal System Specificatio=
n and Z (2nd Ed, P/B 1992)
>=20
> Storey: Safety-Critical Computer Systems (H/B 1996)
>=20
> Neumann: Computer Related Risks (P/B 1995)
>=20
> Leveson: Safeware (H/B 1995)

I would be very interested in an Ada-2012 compiler and suitable study book =
to go with it if you have something suitable for a person wanting to upadte=
 to amore recent compiler. Any chance of you possessing the most recent com=
piler on a CD Rom if this is not Ada-2012 ?=20

Adacrypt