From: robinm <robin.messer@praxis-his.com>
Subject: Re: where can download spark and Ada2005 book?
Date: Mon, 10 Sep 2007 05:48:36 -0700
Date: 2007-09-10T05:48:36-07:00 [thread overview]
Message-ID: <1189428516.806176.246400@g4g2000hsf.googlegroups.com> (raw)
In-Reply-To: <1189386424.725950.194950@19g2000hsx.googlegroups.com>
On Sep 10, 2:07 am, justman <wangc...@gmail.com> wrote:
> I want to learn Ada2005 and spark, where can get those docs or book?
>
> thanks
The best reference book for SPARK is "High Integrity Software - The
SPARK Approach to Safety and Security" by John Barnes, published by
Addison Wesley. For further information and downloadable documents see
also http://www.sparkada.com.
If you are specifically interested in a textbook for Ada 2005 I would
recommend "Programming in Ada 2005" also by John Barnes and published
by Addison Wesley.
If you are potentially interested in using SPARK please contact us by
email on sparkinfo@praxis-his.com.
Regards,
Robin Messer, SPARK Team
prev parent reply other threads:[~2007-09-10 12:48 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-10 1:07 where can download spark and Ada2005 book? justman
2007-09-10 12:48 ` robinm [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox