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)
von:
David J. Duke
·
A.S Evans
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-76117-4
ISBN-10: 3-540-76117-9
Springer
· 1997