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
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Wikis: Tools For Information Work And CollaborationJane KlobasChandos Publishing 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Genetic Algorithms + Data Structures = Evolution ProgramsMichalewiczSpringer Berlin Heidelberg 1996Acesso 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
|
Analysis and visualization tools for constraint programming constraint debuggingPierre Deransart; Manuel Hermenegildo; J Ma±uszyânski 1941- (Jan)Berlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1870 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Why programs fail a guide to systematic debuggingAndreas ZellerAmsterdam Elsevier/Morgan Kaufmann Boston Heidelberg dpunkt.verlag c2006Localização: EACH - Esc. Artes, Ciências e Humanidades (005.14 Z51w )(Acessar) |