SPARK and Ada books and journals I no longer require

[Phil Thornley <phil.jpthornley@gmail.com>]

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)