Bcs-Facs Northern Formal Methods Workshop
Subtitle: Proceedings of the Bcs-Facs Northern Formal Methods Workshop, Ilkley, Uk, 23-24 September 1996 (Electronic Workshops in Computing)
Contributors: David J. Duke (Editor); A. S. Evans (Editor)
Publisher: Springer-Verlag Telos
Published: July 1997
Language: eng
Format: Paperback
Number of pages: 10
ISBN-13: 9783540761174
Subjects: Object-oriented programming (OOP); Software engineering; Software Development; Theory Of Computing; Computers; Computers - Languages / Programming; Computer Books: General; England; Programming - General; Programming - Software Development