Nondeterminism in algebraic specifications and algebraic programs
- 種類:
- 図書
- 責任表示:
- Heinrich Hussmann
- 出版情報:
- Boston : Birkhäuser, c1993
- 著者名:
- Hussmann, Heinrich <DA07329412>
- シリーズ名:
- Progress in theoretical computer science <BA1282110X>
- ISBN:
- 9780817637002 [0817637001]
9783764337001 [3764337001] - 注記:
- Includes bibliographical references (p. [205]-214)
類似資料:
|
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
|
Cambridge University Press |
Springer |
|
Cambridge University Press |
Springer |
|
Cambridge University Press | |
|
Springer-Verlag |
Pearson Prentice Hall |
|
Springer-Verlag |
Addison-Wesley |
