Module specifications and constraints
(EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2)
| データ種別 | 図書 |
|---|---|
| 著者標目 | *Ehrig, Hartmut Mahr, Bernd |
| 出版情報 | Berlin ; Tokyo : Springer-Verlag , c1990 |
書誌詳細を非表示
| 別書名 | Algebraic specification |
|---|---|
| 巻次 | : us ; ISBN:0387517995 : gw ; ISBN:3540517995 |
| 大きさ | xi, 427 p. : ill. ; 24 cm |
| 本文言語 | 英語 |
| 一般注記 | Bibliography: p. [403]-421 Includes index |
| 件 名 | LCSH:Data structures (Computer science) LCSH:Algebra |
| 分 類 | LCC:QA76.9.D35 DC19:001.64/2 |
| 書誌ID | 1000102881 |
| ISBN | 0387517995 |
| NCID | BA0792476X |

Mendeley出力