From: larrea.mikel@gmail.com
Subject: Re: SPARK and Ada books and journals I no longer require
Date: Wed, 22 May 2019 05:51:36 -0700 (PDT)
Date: 2019-05-22T05:51:36-07:00 [thread overview]
Message-ID: <a713dac0-93b1-451a-9935-7d94dfd81827@googlegroups.com> (raw)
In-Reply-To: <8edcf652-e6a7-48f9-a645-d3fe535c4ab8@googlegroups.com>
Hello,
I Don't know if it's too late, but I would be interested in the following books. Are they available?
- McCormick, Chapin: Building High Integrity Applications with SPARK (P/B 2015)
- Barnes: SPARK The proven approach to High Integrity Software (2012)
- Burns, Wellings: Real-Time Systems and Programming Languages
3rd Edition (H/B 2001)
Thanks in advance.
next prev parent reply other threads:[~2019-05-22 12:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-11 5:40 SPARK and Ada books and journals I no longer require Phil Thornley
2019-05-22 12:51 ` larrea.mikel [this message]
2019-05-26 23:05 ` vincent.diemunsch
2019-05-27 5:49 ` obyrneaustin
2019-05-29 18:23 ` Rabican
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox