Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (7 papers)
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Trustworthy Computer Systems (FM89)
Book Subtitle: Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada
Editors: Dan Craigen, Karen Summerskill
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3532-6
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1990
Softcover ISBN: 978-3-540-19635-8Published: 19 November 1990
eBook ISBN: 978-1-4471-3532-6Published: 11 November 2013
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: X, 248
Number of Illustrations: 1 b/w illustrations
Additional Information: Jointly published with the British Computer Society
Topics: Software Engineering, System Performance and Evaluation, Mathematical Logic and Formal Languages