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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:93:: with SMTP id 141mr402641ita.17.1547185208141; Thu, 10 Jan 2019 21:40:08 -0800 (PST) X-Received: by 2002:aca:308d:: with SMTP id w135mr77188oiw.0.1547185207832; Thu, 10 Jan 2019 21:40:07 -0800 (PST) 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.215.MISMATCH!k10no12895itk.0!news-out.google.com!v141ni65ita.0!nntp.google.com!k10no12892itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 10 Jan 2019 21:40:07 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=88.97.49.112; posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q NNTP-Posting-Host: 88.97.49.112 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com> Subject: SPARK and Ada books and journals I no longer require From: Phil Thornley Injection-Date: Fri, 11 Jan 2019 05:40:08 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:55262 Date: 2019-01-10T21:40:07-08:00 List-Id: 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Barnes: High Integrity Ada The SPARK Approach (H/B 1997) 3 copies - one as new, signed by John Barnes and Bernard Carr=C3=A9 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 201= 5) Ada Books =3D=3D=3D=3D=3D=3D=3D=3D=3D 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 =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 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)