Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Tool Support for System Specification, Development and Verification
Editors: Rudolf Berghammer, Yassine Lakhnech
Series Title: Advances in Computing Sciences
DOI: https://doi.org/10.1007/978-3-7091-6355-9
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Wien 1999
Softcover ISBN: 978-3-211-83282-0Published: 25 March 1999
eBook ISBN: 978-3-7091-6355-9Published: 06 December 2012
Edition Number: 1
Number of Pages: IX, 232
Number of Illustrations: 53 b/w illustrations
Topics: Software Engineering, Programming Techniques, Simulation and Modeling, Symbolic and Algebraic Manipulation, Mathematics of Computing