* where can download spark and Ada2005 book?
@ 2007-09-10 1:07 justman
2007-09-10 12:48 ` robinm
0 siblings, 1 reply; 2+ messages in thread
From: justman @ 2007-09-10 1:07 UTC (permalink / raw)
I want to learn Ada2005 and spark, where can get those docs or book?
thanks
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: where can download spark and Ada2005 book?
2007-09-10 1:07 where can download spark and Ada2005 book? justman
@ 2007-09-10 12:48 ` robinm
0 siblings, 0 replies; 2+ messages in thread
From: robinm @ 2007-09-10 12:48 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-09-10 12:48 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-10 1:07 where can download spark and Ada2005 book? justman
2007-09-10 12:48 ` robinm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox