From: roderick.chapman@googlemail.com
Subject: New SPARK book is published today
Date: Thu, 3 Sep 2015 01:10:33 -0700 (PDT)
Date: 2015-09-03T01:10:33-07:00 [thread overview]
Message-ID: <1e1ae25e-9449-41ee-bdfc-0851fcfa7b7b@googlegroups.com> (raw)
Hi everyone,
I'm pleased to say that the all-new SPARK book by John McCormick and
Peter Chapin is published today. It covers the SPARK 2014 language and
tools in some detail. Available for order on Amazon and all the usual
places now. For example:
http://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107656842/ref=sr_1_1?ie=UTF8&qid=1441267363&sr=8-1&keywords=mccormick+chapin+spark
- Rod
next reply other threads:[~2015-09-03 8:10 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-03 8:10 roderick.chapman [this message]
2015-09-03 8:42 ` New SPARK book is published today Vincent
2015-09-03 10:08 ` Dirk Craeynest
2015-09-18 14:06 ` G.B.
2015-09-07 8:28 ` Mark Lorenzen
2015-09-10 9:39 ` Jerry van Dijk
2015-09-14 9:03 ` Mark Lorenzen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox