7 para null
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedingsUML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard RumpeBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1723 e.1 )(Acessar) |
| 3 |
Material Type: Livro
|
|
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedingsUML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2185 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
The specification of computer programsWladyslaw Turski Thomas S. E Maibaum 1947-Wokingham, England Reading, Mass. Addison-Wesley c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.43 T869s ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Reliable software technologies-ADA-Europe 2002 7th Ada-Europe International Conference on reliable Software Technologies, Vienna, Austria, June 2002 : proceedingsAda-Europe International Conference on Reliable Software Technologies (7th 2002 Vienna, Austria) Johann Blieberger; Alfred Strohmeier 1946-Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2361 ) e outros locais(Acessar) |
| 6 |
Material Type: Livro
|
|
Extreme programming and agile processes in software engineering 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedingsXP 2003 (2003 Genoa, Italy) Michele Marchesi; Giancarlo Succi 1964-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2675 )(Acessar) |
| 7 |
Material Type: Livro
|
|
Testing object-oriented softwareChen-Ho Kung Pei Hsia; Jerry GaoLos Alamitos, Calif. IEEE Computer Society Press 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.25 K96to e.1 )(Acessar) |
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Recursos Online (1)
Refinar Meus Resultados
Assunto
- Computer Software–Development (5)
- Técnicas De Programação (2)
- Uml (Computer Science) (2)
- Object-Oriented Programming (Computer Science) (2)
- Computer Software–Reliability (1)
- Uml (1)
- Electronic Digital Computers (1)
- Extreme Programming (1)
- Modular Programming (1)
- Computer Software–Testing (1)
- Computer systems Programs Design (1)
-
Mais opções
Autor/Criador
- Succi, G (1)
- Strohmeier, A (1)
- UML 2001 (1)
- Gogolla, M (1)
- XP 2003 (1)
- Hsia, P (1)
- France, R (1)
- Müller, P (1)
- UML '99 (1)
- Marchesi, M (1)
- Gao, J (1)
- Kobryn, C (1)
- Turski, W (1)
- Maibaum, T (1)
- Ada-Europe International Conference on Reliable Software Technologies (1)
- Kung, C (1)
- Blieberger, J (1)
- Rumpe, B (1)
-
Mais opções
Data de Publicação
- Antes de1998 (1)
- 1998Até1998 (1)
- 1999Até2000 (1)
- 2001Até2002 (3)
- Após 2002 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 