skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Software remover Computer Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Software Frameworks and Embedded Control Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Frameworks and Embedded Control Systems

Alessandro Pasetti

Springer Berlin / Heidelberg 2002

Acesso online. A biblioteca também possui exemplares impressos.

12
Software Process: Principles, Methodology, and Technology
Software Process: Principles, Methodology, and Technology
Software Process: Principles, Methodology, and Technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Process: Principles, Methodology, and Technology

Jean-Claude Derniame Jean Claude Derniame; Badara Ali Kaba; David Wastell; Juris Hartmanis; Badara A Kaba; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

13
The specification of computer programs
The specification of computer programs
Material Type:
Livro 		Adicionar ao Meu Espaço

The specification of computer programs

Wladyslaw Turski Thomas S. E Maibaum 1947-

Wokingham, England Reading, Mass. Addison-Wesley c1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 T869s ) e outros locais(Acessar)

14
Software specification techniques
Software specification techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Software specification techniques

Narain Gehani 1947-; Andrew D McGettrick 1944-

Wokingham Addison-Wesley c1986

Localização: IME - Inst. Matemática e Estatística    (QA752.C3 G311s )(Acessar)

15
Software prototyping, formal methods, and VDM
Software prototyping, formal methods, and VDM
Material Type:
Livro 		Adicionar ao Meu Espaço

Software prototyping, formal methods, and VDM

Sharam Hekmatpour 1961- D Ince (Darrel)

Wokingham, Eng. Reading, MA Addison-Wesley c1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.01 H473s e.1 )(Acessar)

16
Software engineering & testing an introduction
Software engineering & testing an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Software engineering & testing an introduction

B. B. Agarwal S. P Tayal; M Gupta (Mahesh) 1975-

Sudbury, Mass. Jones and Bartlett c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.413 Ag15s )(Acessar)

17
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.697 e.1 ) e outros locais(Acessar)

18
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings

TACS '97 (1997 Sendai-han, Japan) Martín Abadi; T Ito (Takayasu) 1940-

Berlin New York Springer c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1281 ) e outros locais(Acessar)

19
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)

Berlin Springer New York 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2404 ) e outros locais(Acessar)

20
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

CAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad Sistla

Berlin London Springer c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1855 ) e outros locais(Acessar)

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
Refinar
  1. Antes de1986  (6)
  2. 1986Até1990  (11)
  3. 1991Até1995  (9)
  4. 1996Até2001  (32)
  5. Após 2001  (25)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.