Search the Library Catalogue
Formal development of reactive systems : case study production cell Claus Lewerentz, Thomas Lindner, eds
Publication details: Berlin Springer-Verlag c1995Description: xi, 394 p. : ill. ; 24 cmISBN:- 9783540588672
- 94044675
- 670.427 LIN
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 670.427 LIN (Browse shelf(Opens below)) | Available | 304379 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 670.427 KAL Industrial process control : advances and applications | 670.427 KOR Computer control of manufacturing systems | 670.427 LEE Computer-aided maintenance : methodologies and practices | 670.427 LIN Formal development of reactive systems : case study production cell | 670.427 MCC Process imaging for automatic control : 5-6 November 2000, Boston, USA | 670.427 PAR Manufacturing decision support systems | 670.427 PAT Industrial process control systems |
Includes bibliographical references
There are no comments on this title.
Log in to your account to post a comment.