[TYPES/announce] Now out in print: "Concrete Semantics with Isabele/HOL"

[Tobias Nipkow]

Still looking for a present? The book "Concrete Semantics with Isabele/HOL" is 
now out in print:

http://www.springer.com/computer/theoretical+computer+science/book/978-3-319-10541-3

At the same time our electronic version will remain online here:
http://www.concrete-semantics.org/

Tobias Nipkow & Gerwin Klein


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141222/904ec2e8/attachment-0001.p7s>