[Haskell-beginners] Book on formal methods?
ch.gosch at googlemail.com
Wed Apr 4 10:05:08 CEST 2012
I suspect that some here may be experts in formal methods. Can you
recommend a book on formal methods
(for software engineering)? I do not know about formal methods so far,
I can take some theory, and in a book I would like to have
some examples and practical issues explained as well as theoretical stuff.
Thanks a lot,
More information about the Beginners