BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996 :: ISBN 3540761179 :: Springer 1997 :: OBNB, the Open British National Bibliography

Publication Data

Title BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996
Contributors D. J. Duke, A. S. Evans, A. S. Evans
Publisher Springer
Publication date 1997
Publication location London
Language English

Descriptive Notes

"Published electronically. Full, typeset-quality papers are at the eWiC web site: http://ewic.springer.co.uk/ This booklet provides the passwords required for access." - cover.
Published in collaboration with the British Computer Society.

Topics

Computer software :: Development :: Congresses
Software engineering :: Congresses

Catalogue Data

OBNB ID GB97Y3234
ISBN 10 3540761179
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 10p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996. ISBN 3540761179. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.