Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (22 chapters)
Keywords
About this book
Bibliographic Information
Book Title: Formal Development of Reactive Systems
Book Subtitle: Case Study Production Cell
Editors: Claus Lewerentz, Thomas Lindner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-58867-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-58867-2Published: 26 January 1995
eBook ISBN: 978-3-540-49133-0Published: 03 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 400
Topics: Software Engineering, Special Purpose and Application-Based Systems, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer-Aided Engineering (CAD, CAE) and Design, Control, Robotics, Mechatronics