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
Table of contents (16 chapters)
Keywords
About this book
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