Re: [isabelle] Isabelle/HOL, the book

Hi Yannick,

This is an old version of the current Isabelle/HOL tutorial.


On Thu, May 23, 2013 at 10:18 AM, Yannick Duchêne (Hibou57) <
yannick_duchene at> wrote:

> Hi people,
> I just discovered there exist a book for Isabelle/HOL at Amazon:
> ptu/182-9131467-6281732<>
> I searched for something similar about one year ago and found nothing at
> that time, so that's a good news. However, as it's a bit expansive (my
> average price range for books is in €15 to €25), I would like to know about
> its content before any attempt to get it. I clicked on the cover picture as
> it says “Click to look inside”, but nothing happened (no preview).
> So I would like to know if someone here already get that book and if it's
> worth the price.
> Thanks for any advices.
> P.S. As a question aside, if there are exclusive contents in this book, is
> there an electronic version planned? (may be an electronic version would be
> more affordable and I'm planning to get an ebook reader sooner of later
> this year).
> --
> “Syntactic sugar causes cancer of the semi-colons.” [1]
> “Structured Programming supports the law of the excluded muddle.” [1]
> [1]: Epigrams on Programming — Alan J. — P. Yale University

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

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