[isabelle] Now out in print: "Concrete Semantics with Isabele/HOL"
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Now out in print: "Concrete Semantics with Isabele/HOL"
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Mon, 22 Dec 2014 10:49:13 +0100
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:31.0) Gecko/20100101 Thunderbird/31.3.0
Still looking for a present? The book "Concrete Semantics with Isabele/HOL" is
now out in print:
At the same time our electronic version will remain online here:
Tobias Nipkow & Gerwin Klein
Description: S/MIME Cryptographic Signature
This archive was generated by a fusion of
Pipermail (Mailman edition) and