bob@infko.UUCP (Thomas Biedassek) (07/18/88)
Hello I am looking for some remarks for a course on "User Interfaces and methods for formal specification". In the next term (winter: October 88 - Februar 89) i'll try to hold such course. If there is interest, I'll summ up the remarks which I receive mixed with my own intensions. Thanks ! (-- *************************************************************************** Greatings, Thomas Biedassek , Dep. of Computer Science, University of Koblenz Rheinau 3 - 4, D-5400 Koblenz, WEST-GERMANY (tel.+45-261-12156) UUCP-Net: ...!mcvax.uucp!unido!infko!bob or bob@infko.uucp w************************************************************************** --)