Newsgroups: comp.realtime,comp.specification,comp.sys.transputer,comp.specification.z
From: joy@comlab.ox.ac.uk (Joy Reed)
Subject: Z and CSP Courses
Organization: Oxford University Computing Laboratory, UK
Date: Sun, 27 Feb 1994 13:16:07 GMT
Message-ID: <1994Feb27.131607.3012@peppone.comlab.ox.ac.uk>
 
                     Formal Systems (Europe), Ltd
 
                 Final Announcement:  Z and CSP Courses  
 
                    ------------------------------
         Formal Development Using Specification and Refinement:
                              Z and CSP

                                  &

                      Formal Development Using Z
        
  
                    ------------------------------
 
 
                         March 21 - 25, 1994 
                         
                              Boston, MA                       
 
 
                              Lecturers:  
        D.J. Jackson, G.M. Reed, A.W. Roscoe and J.C.P. Woodcock
 
Registration is closing for the above courses. Please contact me now
if you would like to attend.
 
- Joy Reed
  Joy.Reed@comlab.ox.ac.uk



