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.427Item 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.