Wednesday, April 20, 2011

ALL DONE

OK, the formal methods book, formatted and prepared by Professor Vallbe, is now on box.net. Enjoy.
at

2 comments:

  1. AnonymousApril 20, 2011 at 4:57 PM

    Dear Prof Wolff,

    You refer to links of June 2, 2010 in your booklet about formal methods.Could not find those links on the blog would it be possible to repost please.

    Tx.

    P.S. The booklet is really interesting.

    ReplyDelete
  2. Robert Paul WolffApril 20, 2011 at 5:53 PM

    There is no post for that date. I was obviously hallucinating! Sorry about that.

    ReplyDelete