BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996

Front Cover
Springer, 1997 - Computers - 10 pages
The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems. The full papers from the BCS-FACS Northern Formal Methods Workshop are available online at: http://ewic.springer.co.uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Common terms and phrases

Bibliographic information