Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
- 種類:
- 図書
- 責任表示:
- Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)
- 出版情報:
- Berlin ; New York : Springer-Verlag, c1993
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 680 <BA00009279>
- ISBN:
- 9780387567334 [038756733X] (: us)
9783540567332 [354056733X] (: gw) - 注記:
- Includes bibliographical references and index
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer |
|
Springer-Verlag |
McGraw-Hill |
|
Cambridge University Press |
Springer-Verlag |
