BCS-FACS Northern Formal Methods Workshop

Know about the book -

BCS-FACS Northern Formal Methods Workshop is written by David J. Duke and published by . It's available with International Standard Book Number or ISBN identification 3540761179 (ISBN 10) and 9783540761174 (ISBN 13).

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).