Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
A Systematic Catalogue of Reusable Abstract Data TypesJürgen Uhl Hans Albrecht SchmidSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Genetic Algorithms + Data Structures = Evolution ProgramsMichalewiczSpringer Berlin Heidelberg 1996Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Wikis: Tools For Information Work And CollaborationJane KlobasChandos Publishing 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Interactive computer graphics data structures, algorithms, languagesWolfgang GiloiEnglewood Cliffs, N.J. Prentice-Hall c1978Localização: EPBC - Esc. Politécnica-Bib Central (519.674 G426i ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Program debugging the prevention and cure of program errorsA. R. Brown 1945- (Arthur Robert) W. A SampsonLondon Macdonald and Co. New York American Elsevier 1973Localização: IME - Inst. Matemática e Estatística (QA752 B877p )(Acessar) |
|
10 |
Material Type: Livro
|
Structured walkthroughsEdward YourdonEnglewood Cliffs, N.J. Prentice-Hall c1979Localização: IME - Inst. Matemática e Estatística (QA752 Y81s )(Acessar) |