Formal methods for trustworthy computer systems
: report from FM 89: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23 - 27 July 1989, Halifax, Canada / (FM 89). Dan Craigen (ed.) and Karen Summerskill (assistant ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1990. - X, 248 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19635-8 / 3-540-19635-8 kart. : DM 72.00
Literaturverz. S. [237] - 243
Quelle: DNB