There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-19884-0

ISBN (Electronic): 978-1-4471-3452-7

Publication date (Print): 1994

DOI: 10.1007/978-1-4471-3452-7

SO-VID: 8dcb85c7-6eb5-4206-bf49-ad3c9e4023db

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Exploring The Semantics of UML Type Structures with Z
Authors: R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie …
Select Z Bibliography
Authors: Jonathan Bowen

See all cited by

Z User Workshop, Cambridge 1994 : Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Read this book at