From: obyrneaustin@gmail.com
Subject: Re: SPARK and Ada books and journals I no longer require
Date: Sun, 26 May 2019 22:49:48 -0700 (PDT)
Date: 2019-05-26T22:49:48-07:00 [thread overview]
Message-ID: <68b7d60e-0577-44eb-91a1-d2fb33037b95@googlegroups.com> (raw)
In-Reply-To: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com>
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 journals no longer required.
>
> Available at cost of carriage, or pick up for free (UK - Manchester).
>
> Phil Thornley
>
>
> SPARK Books
> ===========
>
> Barnes: High Integrity Ada The SPARK Approach (H/B 1997)
> 3 copies - one as new, signed by John Barnes and Bernard Carré
>
> Barnes: High Integrity Software The SPARK Approach to Safety and Security (H/B 2003)
> 2 copies - one as new, signed by John Barnes
>
> Barnes: SPARK The proven approach to High Integrity Software (2012)
> 2 copies - one H/B as new, signed by John Barnes
> one P/B
>
> McCormick, Chapin: Building High Integrity Applications with SPARK (P/B 2015)
>
>
> Ada Books
> =========
>
> Barnes: Programming in Ada 95
> 2nd Edition (P/B 1998)
> 1st Edition (P/B 1995)
>
> Cohen: Ada as a Second Language (Ada 95 version) (P/B 1996)
>
> Burns, Wellings: Real-Time Systems and Programming Languages
> 3rd Edition (H/B 2001)
> 2nd Edition (P/B 1996)
>
> Burns, Wellings: Concurrency in Ada (H/B 1995)
>
> Feldman: Software Construction and Data Structures with Ada95 (P/B 1996)
>
> Feldman, Koffman: Ada95 Problem Solving and Program Design 2nd Edition (P/B 1996)
>
> Booch: Software Engineering with Ada 2nd Edition (P/B 1986)
>
>
> Ada Journals
> ============
>
> Ada Letters
> Volumes XI/5 to XXVI/2
> Missing: XVII/6
> XXVII/1
>
> Ada User Journal
> Volumes 24/1 to 39/1
> Missing 24/4
> 25/1
> 37/1&2
>
> Other Software Engineering Books
> ================================
>
> Meyer: Object-Oriented Software Construction (P/B 1988)
>
> Meyer: Object-Oriented Software Construction Second Edition (P/B 1997)
>
> Gamma, Helm, Johnson, Vlissides: Design Patterns (H/B 1995)
>
> Coad, Yourdon: Object-Oriented Analysis (H/B 1990)
>
> DeMarco: Structured Analysis and System Specification (P/B 1978)
>
> Morgan: Programming from Specifications (P/B 1990)
>
> Ince: An Introduction to Discrete Mathematics, Formal System Specification and Z (2nd Ed, P/B 1992)
>
> Storey: Safety-Critical Computer Systems (H/B 1996)
>
> Neumann: Computer Related Risks (P/B 1995)
>
> 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 compiler on a CD Rom if this is not Ada-2012 ?
Adacrypt
next prev parent reply other threads:[~2019-05-27 5:49 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-11 5:40 SPARK and Ada books and journals I no longer require Phil Thornley
2019-05-22 12:51 ` larrea.mikel
2019-05-26 23:05 ` vincent.diemunsch
2019-05-27 5:49 ` obyrneaustin [this message]
2019-05-29 18:23 ` Rabican
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox