|
|
|
|
| LEADER |
00809nam a2200217 a 4500 |
| 001 |
501976 |
| 005 |
20171111225929.0 |
| 008 |
850305s19859999gw a b 001 0 eng |
| 020 |
|
|
|a 0387137181 (v. 1)
|
| 050 |
|
|
|a 3540137181 (v. 1)
|b E37 1985
|a QA76.9.D35
|
| 082 |
|
|
|2 19
|a 001.64/2
|
| 100 |
1 |
|
|a Ehrig, Hartmut
|
| 245 |
1 |
|
|a Fundamentals of algebraic specification /
|c H. Ehrig, B. Mahr.
|
| 260 |
1 |
|
|a Berlin :
|b Springer-Verlag,
|c c1985-
|
| 300 |
1 |
|
|a 2 v. :
|b ill. ;
|c 25 cm.
|
| 504 |
1 |
|
|a Includes bibliographical references and indexes.
|
| 505 |
1 |
|
|a v. 1. Equations and initial semantics -- v. 2. Formal requirementsand modules.
|
| 650 |
1 |
|
|a Data structures (Computer science)
|
| 650 |
1 |
|
|a Algebra
|
| 700 |
1 |
|
|a Mahr, B.
|q (Bernd)
|
| 952 |
|
|
|a GrThPMO
|b 59afe58b6c5ad17d7e5a02e9
|c 952a
|d 9528
|e QA76.9.D35E37 1985
|t 7
|x m
|z Books
|
