Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent trends in data type specification selected papers [of the] 11th workshop on specification of abstract data types joint with the 8th commpass workshop, held in oslo, norway, september 19-23, 1995Workshop on Specification of Abstract Data Types (11. 1995 Oslo, No) Magne Haveraaen; Compass Workshop (8. 1995 Oslo, No)Berlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1130 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types (8. 1991 Dourdan) Michel Bidoit; Compass Workshop (3. 1991 Dourdan)Berlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.655 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types (9. 1992 Caldes de Malavella) Hartmut Ehrig; Compass Workshop (4. 1992 Caldes de Malavella)Berlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.785 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types (10. 1994 S. Margherita) Egidio Astesiano; Gianna Reggio; Andrzej Tarlecki; Compass Workshop (5. 1994 S. Margherita)Berlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.906 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected PapersHaveraaen, Magne ; Owe, Olaf ; Dahl, Ole-Johan Haveraaen, Magne ; Dahl, Ole-Johan ; Owe, OlafBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
6 |
Material Type: Livro
|
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected PapersEhrig, Hartmut ; Orejas, Fernando Orejas, Fernando ; Ehrig, HartmutBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
7 |
Material Type: Livro
|
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected PapersAstesiano, Egidio ; Reggio, Gianna ; Tarlecki, Andrzej Tarlecki, Andrzej ; Reggio, Gianna ; Astesiano, EgidioBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected PapersBidoit, Michel ; Choppy, Christine Bidoit, Michel ; Choppy, ChristineBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |