From: vincent.diemunsch@gmail.com
Subject: Re: SPARK and Ada books and journals I no longer require
Date: Sun, 26 May 2019 16:05:25 -0700 (PDT)
Date: 2019-05-26T16:05:25-07:00 [thread overview]
Message-ID: <92e4dc8a-a4bd-4566-bd69-2ba00b4097b8@googlegroups.com> (raw)
In-Reply-To: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com>
Hello Mr Thornley,
What an impressive collection of good books !.
If you still have them available, I would be interested by the followings :
> Ada Books
> =========
> Burns, Wellings: Real-Time Systems and Programming Languages
> 3rd Edition (H/B 2001)
>
> 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)
>
> Other Software Engineering Books
> ================================
>
> 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)
>
> 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)
Regards,
Vincent
next prev parent reply other threads:[~2019-05-26 23:05 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 [this message]
2019-05-27 5:49 ` obyrneaustin
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