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 |