Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
-
An International Survey of Industrial Applications of Formal Methods
-
Language Issues and Reuse
-
Safety-Critical Systems and Timing
-
Information Systems
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Z User Workshop, London 1992
Book Subtitle: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
Editors: J. P. Bowen, J. E. Nicholls
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3556-2
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-19818-5Published: 10 June 1993
eBook ISBN: 978-1-4471-3556-2Published: 09 March 2013
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: VIII, 350
Additional Information: Jointly published with the British Computer Society
Topics: Software Engineering, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques
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