Claus Lewerentz,Thomas Lindner: Formal Development of Reactive Systems: Case Study Production Cell
____________________________
Author: Claus Lewerentz,Thomas Lindner
Number of Pages: 400 pages
Published Date: 26 Jan 1995
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540588672
Download Link: Click Here
____________________________