From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: SPARK Book - Sample Chapters now free on-line
Date: 11 Mar 2003 08:26:53 -0800
Date: 2003-03-11T16:26:54+00:00 [thread overview]
Message-ID: <cf2c6063.0303110826.3f0a5268@posting.google.com> (raw)
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.
The book can be pre-ordered now at various book-sellers including
www.amazon.com and www.amazon.co.uk.
All the best,
Rod Chapman, SPARK Team, Praxis Critical Systems Limited
next reply other threads:[~2003-03-11 16:26 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-03-11 16:26 Rod Chapman [this message]
[not found] ` <878yvl3khn.fsf@fbigm.here>
[not found] ` <uel5b6ocq.fsf@xsol.com>
[not found] ` <vaqcvcruvo1493@corp.supernews.com>
2003-05-01 12:54 ` ANN: SPARK Book - Sample Chapters now free on-line Volkert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox