Re: [isabelle] Isabelle/HOL, the book



It is one of the finest books ever written in the history of mankind, but I suggest you get your copy here:

http://isabelle.in.tum.de/dist/Isabelle2013/doc/tutorial.pdf

It will then be both free and up-to-date. The printed version really needs to be seen as a historical document now.

Larry Paulson


On 23 May 2013, at 14:18, Yannick Duchêne (Hibou57) <yannick_duchene at yahoo.fr> wrote:

> Hi people,
> 
> I just discovered there exist a book for Isabelle/HOL at Amazon:
> http://www.amazon.com/gp/reader/3540433767/ref=sib_dp_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
> 
> 





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