Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
-
Invited Talks
-
Z/Object-Z + CSP + Real Time
-
Z/Object Z + Behaviour 1
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: IFM’99
Book Subtitle: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Editors: Keijiro Araki, Andy Galloway, Kenji Taguchi
DOI: https://doi.org/10.1007/978-1-4471-0851-1
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1999
Softcover ISBN: 978-1-85233-107-8Published: 25 June 1999
eBook ISBN: 978-1-4471-0851-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 477
Number of Illustrations: 3 b/w illustrations
Topics: Software Engineering