BCS-FACS Nothern Formal Methods Workshop: Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996. (electronic Workshops in Computing)

electronic

von: David J. Duke · A.S Evans

Taschenbuch

ISBN-13: 978-3-540-76117-4

ISBN-10: 3-540-76117-9

Springer · 1997