Cover Image

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 /

Show other versions (1)
Bibliographic Details
Corporate Author: Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S.
Other Authors: Craigen, Dan, 1953-, Summerskill, Karen, 1958-
Format: Conference Proceeding Book
Language:English
Published: London : Springer-Verlag, [1990]
Series:Workshops in computing.
Subjects:
Computer software > Validation > Congresses.
Computer software > Verification > Congresses.
Computer software > Testing > Congresses.
Description
Item Description:"Published in collaboration with the British Computer Society."
Physical Description:x, 248 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540196358 (Berlin)
0387196358 (New York)