Stream: Archive Mirror: Isabelle Users Mailing List

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

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: Nov 21 2024 at 12:39 UTC