Overview
- The only book to concentrate specifically on industrial applications
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
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 (16 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Industrial-Strength Formal Methods in Practice
Editors: Michael G. Hinchey, Jonathan P. Bowen
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-0523-7
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 1999
Softcover ISBN: 978-1-85233-640-0Published: 17 September 1999
eBook ISBN: 978-1-4471-0523-7Published: 06 December 2012
Edition Number: 1
Number of Pages: XVI, 400
Topics: Software Engineering, Logics and Meanings of Programs