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 Authors: Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., SpringerLink (Online service)
Other Authors: Craigen, Dan, 1953-, Summerskill, Karen, 1958-
Format: Conference Proceeding eBook
Language:English
Published: London ; New York : Springer-Verlag, [1990]
Series:Workshops in computing.
Subjects:
Computer software > Validation > Congresses.
Computer software > Verification > Congresses.
Computer software > Testing > Congresses.
Formal methods (Computer science) > Congresses.
Logiciels > Validation > Congrès.
Logiciels > Vérification > Congrès.
Logiciels > Essais > Congrès.
Computer software > Testing.
Computer software > Validation.
Computer software > Verification.
Formal methods (Computer science)
Computers
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:"Published in collaboration with the British Computer Society."
Electronic resource.
Physical Description:1 online resource (x, 248 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
ISBN:9781447135326 (electronic bk.)
1447135326 (electronic bk.)