Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Now out in print: "Concrete Semantics with Isa...


view this post on Zulip Email Gateway (Aug 19 2022 at 16:53):

From: Tobias Nipkow <nipkow@in.tum.de>
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
smime.p7s


Last updated: Mar 29 2024 at 08:18 UTC