1
Material Type:
Livro
Recent trends in data type specification selected papers
Workshop on Specification of Abstract Data Types (9. 1992 Caldes de Malavella) Hartmut Ehrig; Compass Workshop (4. 1992 Caldes de Malavella)
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.785 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Recent trends in data type specification selected papers
Workshop on Specification of Abstract Data Types,7., Wusterhausen / Dose, 1990 Hartmut Ehrig
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.534 e.1 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Categorical methods in computer science with aspects from topology : proceedings
International Workshop on Categorical Methods in Computer Science With Aspects from Topology, Berlin, 1988 Hartmut Ehrig
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.393 e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)
Berlin Springer-Verlag New York c1987
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.250 v.2 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Formal methods and software development
Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig
Berlin Springer-Verlag New York c1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.186 ex.1 ) e outros locais(Acessar)
This feature requires javascript