Overview
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 (9 chapters)
Keywords
About this book
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.
Authors and Affiliations
Bibliographic Information
Book Title: Formal Object-Oriented Development
Authors: Kevin Lano
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-3073-4
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1995
Softcover ISBN: 978-3-540-19978-6Published: 25 October 1995
eBook ISBN: 978-1-4471-3073-4Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 422
Number of Illustrations: 4 b/w illustrations
Topics: Software Engineering, Mathematical Logic and Formal Languages