TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Transfer-Encoding: quoted-printable
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: Peter Amey <[log in to unmask]>
Date: Wed, 12 Mar 2003 09:44:19 -0000
Content-Type: text/plain; charset="iso-8859-1"
MIME-Version: 1.0
Reply-To: Peter Amey <[log in to unmask]>
Parts/Attachments: text/plain (25 lines)
I'm pleased to announce the availability of the "Sample Chapters" of the forthcoming new book "High Integrity Software: The SPARK Approach
to Safety and Security" by John Barnes.

The sample chapters are freely available in PDF format on

The book is now at the printers.  We expect a UK publication date of 21st March.  Availability is expected in the USA approximately 4 weeks later.


Peter Amey, Praxis Critical Systems Limited

This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.

This footnote also confirms that this email message has been swept 
for the presence of computer viruses.