1: Equations and initial semantics / H. Ehrig, B. Mahr
| 1: Equations and initial semantics / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1985 |
| Descrizione fisica | XI, 321 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387137181
3540137181 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002683 |
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1985 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
2: Module specification and constraints / H. Ehrig, B. Mahr
| 2: Module specification and constraints / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1990 |
| Descrizione fisica | XI, 427 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387517995
3540517995 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002685 |
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1990 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Fundamentals of algebraic specification / H. Ehrig, B. Mahr
| Fundamentals of algebraic specification / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer |
| Descrizione fisica | 2 v. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002682 |
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||