Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System
by Berthold Hoffmann, Bernd Krieg-Brückner Paperback 1993
- Author: Berthold Hoffmann, Bernd Krieg-Brückner
- ISBN 13: 9783540567332
- ISBN 10: 354056733X
- Publication Year: 1993
- Language: English
Specifications
| Index-10 | 354056733X |
|---|---|
| Index-13 | 9783540567332 |
| Language | English |