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
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications