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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|