Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Data structures and other objects a second course in computer scienceM. Main (Michael) 1956- Walter J Savitch 1943-Redwood City, Calif. Benjamin/Cummings c1995Localização: ICMC - Inst. Ciên. Mat. Computação (68P05.01 M224d e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Algebraic Specification Techniques in Object Oriented Programming EnvironmentsRuth BreuSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
A theory of objectsMart in Abadi Luca CardelliNew York Springer 1998, c1996Localização: IME - Inst. Matemática e Estatística (QA754.4 A116t )(Acessar) |
|
5 |
Material Type: Livro
|
ECOOP'97--object-oriented programming 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedingsEuropean Conference on Object-Oriented Programming (11th 1997 Jyväskylä, Finland) Mehmet Aksit; Satoshi MatsuokaBerlin New York Springer c1997Localização: IME - Inst. Matemática e Estatística (S L471c v.1241 )(Acessar) |
|
6 |
Material Type: Livro
|
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedingsEuropean Conference on Object-Oriented Programming (1988 Oslo, Norway) S Gjessing 1950- (Stein); Kristen Nygaard 1926-Berlin New York Springer-Verlag c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.322 ex.1 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
ECOOP '91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedingsEuropean Conference on Object-Oriented Programming (5th 1991 Geneva, Switzerland) Pierre America 1959-Berlin New York Springer-Verlag c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.512 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Adaptive object-oriented software the Demeter Method with propagation patternsKarl J. LieberherrBoston PWS Pub. Co. c1996Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Livro
|
ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedingsEuropean Conference on Object-Oriented Programming (12th 1998 Brussels, Belgium) Eric JulGoos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1445 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lecturesFMCO 2002 (2002 Leiden, Netherlands) Frank S. de BoerBerlin Springer-Verlag New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2852 )(Acessar) |