FORMAL development of reactive systems: case study production cell /
edited by Claus Lewerentz, Thomas Lindner
- Berlin Springer-Verlag 1995
- xi, 394 p.
3540588671
Computer software- Development
670.427 / FOR
3540588671
Computer software- Development
670.427 / FOR