FORMAL development of reactive systems: case study production cell / edited by Claus Lewerentz, Thomas Lindner
Contributor(s): Lewerentz, Claus [Editor]
| Lindner, Thomas [Editor].
Publisher: Berlin Springer-Verlag 1995Description: xi, 394 p.ISBN: 3540588671.Subject(s): Computer software- DevelopmentDDC classification: 670.427
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library Science & Technology | 670.427 FOR (Browse shelf) | Available | 135694 |
There are no comments for this item.