TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

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

Print Reply
Peter Amey <[log in to unmask]>
Wed, 12 Mar 2003 09:44:19 -0000
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 www.sparkada.com

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.

regards,


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.

www.praxis-cs.co.uk
**********************************************************************

ATOM RSS1 RSS2