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.


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.