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



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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.