Editors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (5 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
Department of Computing Studies, University of Leicester, Leicester, UK
C. L. N. Ruggles
Bibliographic Information
Book Title: Formal Methods in Standards
Book Subtitle: A Report from the BCS Working Group
Editors: C. L. N. Ruggles
DOI: https://doi.org/10.1007/978-1-4471-3419-0
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: British Computer Society 1990
Softcover ISBN: 978-3-540-19577-1Published: 30 July 1990
eBook ISBN: 978-1-4471-3419-0Published: 06 December 2012
Edition Number: 1
Number of Pages: XI, 135
Topics: Software Engineering
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications