From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: Sample code resources / Ada cookbook
Date: Thu, 07 Mar 2013 18:52:13 -0600
Date: 2013-03-07T18:52:13-06:00 [thread overview]
Message-ID: <khbcns$t9d$1@speranza.aioe.org> (raw)
In-Reply-To: e06a28d3-21de-475a-b570-e5b252072848@googlegroups.com
On 3/7/2013 5:41 PM, karhof21@gmail.com wrote:
>> That may be what you want:
>>
>> http://www.adaic.org/wp-content/uploads/2010/05/Ada-Distilled-24-January-2011-Ada-2005-Version.pdf
>>
>>
>> Cons: does not cover Ada 2012, but you will quicly learn what
>> pre/post/predicate are.
>
>
> Speaking of which, are there (free) Ada 2012 tutorials on the way?
>
> Ada 2012 Distilled would be nice!!
>
Ada 2012 specifics:
====================
some are here
http://www.ada2012.org/
RM, Rational, and Annotated are here
http://www.ada-auth.org/standards/ada12.html
more general materials for Ada here
http://www.adaic.org/learn/materials/
--Nasser
next prev parent reply other threads:[~2013-03-08 0:52 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-07 5:11 Sample code resources / Ada cookbook Dufr
2013-03-07 6:20 ` Yannick Duchêne (Hibou57)
2013-03-07 23:41 ` karhof21
2013-03-08 0:52 ` Nasser M. Abbasi [this message]
2013-03-13 1:06 ` Robert Love
2013-03-07 6:28 ` Shark8
2013-03-07 7:43 ` Jeffrey Carter
2013-03-14 15:47 ` tonyg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox