Fundamentals of algebraic specification /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer-Verlag,
c1985-c1990.
|
| Series: | EATCS monographs on theoretical computer science ;
v. 6, etc. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01106cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb004533 | ||
| 008 | 850305m19851990gw#a#####b####001#0#eng## | ||
| 005 | 20160606174308.0 | ||
| 245 | 1 | 0 | |a Fundamentals of algebraic specification / |c H. Ehrig, B. Mahr. |
| 260 | |a Berlin : |b Springer-Verlag, |c c1985-c1990. | ||
| 300 | |a 2 v. : |b il. ; |c 25 cm. | ||
| 490 | 1 | |a EATCS monographs on theoretical computer science ; |v v. 6, 21 | |
| 504 | |a Incluye referencias bibliográficas e índices. | ||
| 505 | 0 | |a 1. Equations and initial semantics -- 2. Module specifications and constraints. | |
| 510 | 4 | |a MR, |c 87k:68103 |3 (v. 1) | |
| 500 | |a La biblioteca sólo posee el v. 1. |5 AR-BbIMB | ||
| 020 | |a 3540137181 (v. 1) | ||
| 100 | 1 | |a Ehrig, Hartmut. | |
| 700 | 1 | |a Mahr, B. |q (Bernd) | |
| 740 | 0 | |a Algebraic specification. | |
| 830 | 0 | |a EATCS monographs on theoretical computer science ; |v v. 6, etc. | |
| 650 | 0 | |a Data structures (Computer science) | |
| 650 | 0 | |a Algebra. | |
| 084 | |a 68Q65 (08Axx 08Bxx) |2 msc2000 | ||
| 010 | |a 85004784 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 68 |i Eh33 |p A-6179 |v 1 |3 v. 1 |b BIB. MATEMATICA | ||