The homepage of Dines Bjorner contains much additional material!#

Homepage

The Bulletin of EATCS No. 96 contains a Dialogue about Formal Methods with Professor Cris Calude
#


Other important information #

See full PDF file here(info)

Any further pages in alphabetic order of their title as created for or by you.
#

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!

Imprint Privacy policy « This page (revision-20) was last updated on Sunday, 30. May 2010, 16:13 by Maurer Hermann
  • operated by