From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: New SPARK book is published today
Date: Thu, 3 Sep 2015 10:08:59 +0000 (UTC)
Date: 2015-09-03T10:08:59+00:00 [thread overview]
Message-ID: <ms967r$sub$1@dont-email.me> (raw)
In-Reply-To: db0417bf-0509-4a2a-a90f-fc6df66b6c56@googlegroups.com
In article <db0417bf-0509-4a2a-a90f-fc6df66b6c56@googlegroups.com>,
Vincent <vincent.diemunsch@gmail.com> wrote:
[...about the new SPARK book by John McCormick and Peter Chapin...]
>That's interesting. Would it be possible to see the content of the book,
>i.e. the name of the chapters ? I coudn't find the information on Amazon.
Some information is available on the publisher's web-page for the book.
See the tab "Contents" on:
<http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/building-high-integrity-applications-spark>
Dirk
next prev parent reply other threads:[~2015-09-03 10:08 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-03 8:10 New SPARK book is published today roderick.chapman
2015-09-03 8:42 ` Vincent
2015-09-03 10:08 ` Dirk Craeynest [this message]
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