Formal Methods for Trustworthy Computer Systems (Fm89): Report From Fm89: A Workshop On The Assessment Of Formal Methods For Trustworthy Computer . . ... Systems 23-27 July 1989, Halifax, Canada
von:
Karen Summerskill ·
Dan Craigen
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-19635-8
ISBN-10: 3-540-19635-8
Springer
· 1990