skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Programs remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4346 )(Acessar)

2
IEEE standard for software unit testing
Material Type:
Livro 		Adicionar ao Meu Espaço

IEEE standard for software unit testing

IEEE Computer Society Software Engineering Technical Committee; American National Standards Institute; Institute of Electrical and Electronics Engineers

New York, N.Y. The Institute of Electrical and Electronics Engineers c1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.25 IEEE/87 )(Acessar)

3
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Eyal Bin; Shmuel Ur; Avi Ziv; HVC 2006 (2nd 2006 Haifa, Israel); International Haifa Verification Conference (2nd 2006 Haifa, Israel)

Berlin u.a. Springer 2007

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.415.5 H222 2. ) e outros locais(Acessar)

4
The symbolic execution of software the SYM-BOL system
The symbolic execution of software the SYM-BOL system
Material Type:
Livro 		Adicionar ao Meu Espaço

The symbolic execution of software the SYM-BOL system

David Coward 1957- Darrel Ince

London Chapman & Hall 1995

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

5
Functional program testing and analysis
Functional program testing and analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional program testing and analysis

William E. Howden

New York McGraw-Hill c1987

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

6
Software testing
Software testing
Material Type:
Livro 		Adicionar ao Meu Espaço

Software testing

Anne E Westley; Infotech

Maidenhead, Berkshire, England Infotech International c1979

Localização: EPBC - Esc. Politécnica-Bib Central    (004.415.53 In3t v.2 )(Acessar)

7
Research directions in software technology
Research directions in software technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Research directions in software technology

Peter Wegner

Cambridge, Mass. London M.I.T. Press c1979

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

8
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

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

9
Mutation Testing for the New Century
Mutation Testing for the New Century
Mutation Testing for the New Century
Material Type:
Livro 		Adicionar ao Meu Espaço

Mutation Testing for the New Century

Ahmed K. Wong, W. Eric Elmagarmid

Springer US 2001

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

10
Les Packages évaluation, coût, modalités d'acquisition
Material Type:
Livro 		Adicionar ao Meu Espaço

Les Packages évaluation, coût, modalités d'acquisition

Cornel Simiu

Paris Entreprise moderne d'édition 1971

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (78.177)
  2. Revistas revisadas por pares (32.234)
  3. Disponível na Biblioteca (30)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (41.262)
  2. Reports  (16.532)
  3. magazinearticle  (15.513)
  4. Newsletter Articles  (2.378)
  5. Anais de Congresso  (1.474)
  6. Livros  (871)
  7. Resenhas  (91)
  8. Dissertações  (43)
  9. Book Chapters  (18)
  10. Artigos de Jornal  (14)
  11. Recursos Textuais  (5)
  12. Verbetes  (2)
  13. Documentos Governamentais  (1)
  14. Videos  (1)
  15. Outros  (1)
  16. Mais opções open sub menu

Assunto 

  1. Software  (45.588)
  2. Science & Technology  (30.406)
  3. Technology  (21.007)
  4. Computer Programming And Software  (16.096)
  5. Computer Science  (14.231)
  6. Computer Software Industry  (11.578)
  7. Engineering  (10.728)
  8. Mathematical Models  (8.405)
  9. Computer Science, Software Engineering  (8.004)
  10. Life Sciences & Biomedicine  (7.327)
  11. Algorithms  (7.171)
  12. Product Introduction  (6.916)
  13. Software Engineering  (6.756)
  14. Physical Sciences  (6.707)
  15. Studies  (5.479)
  16. Software Industry  (5.071)
  17. Data Processing  (4.742)
  18. Engineering, Electrical & Electronic  (4.219)
  19. Humans  (3.855)
  20. Computer Programming  (2.707)
  21. Computer Software  (2.268)
  22. Model Checking  (153)
  23. Electronic Digital Computers  (112)
  24. Programmverifikation  (42)
  25. Formale Methode  (32)
  26. Programmanalyse  (23)
  27. Engenharia De Software  (14)
  28. Computer Programs–Verification  (13)
  29. Engenharia De Programas  (10)
  30. Abstrakte Interpretation  (9)
  31. Engenharia De Software  (8)
  32. Computer Programs–Testing  (8)
  33. Verificação E Validação De Software (Congressos)  (7)
  34. Técnicas De Programação (Congressos)  (6)
  35. Programmanalyse  (5)
  36. Programmverifikation  (4)
  37. Model Checking  (4)
  38. Computer Software  (4)
  39. Abstrakte Interpretation  (4)
  40. Teste E Avaliação De Software  (3)
  41. Electronic Digital Computers  (3)
  42. Formale Methode  (3)
  43. Verificação E Validação De Software  (3)
  44. Softwares (Avaliação;Congressos)  (3)
  45. Especificação De Sistemas E Programas (Congressos)  (2)
  46. Metodologia E Técnicas De Computação  (2)
  47. Computer Programming  (2)
  48. Formal Methods (Computer Science)  (2)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (89)
  2. 1966Até1979  (5.464)
  3. 1980Até1993  (7.760)
  4. 1994Até2008  (22.786)
  5. Após 2008  (42.678)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (77.873)
  2. Japonês  (3.095)
  3. Português  (247)
  4. Espanhol  (201)
  5. Chinês  (112)
  6. Alemão  (73)
  7. Francês  (35)
  8. Catalão  (32)
  9. Letão  (24)
  10. Norueguês  (17)
  11. Russo  (15)
  12. Tcheco  (9)
  13. Italiano  (6)
  14. Romeno  (6)
  15. Persa  (6)
  16. Holandês  (5)
  17. Croatian  (5)
  18. Eslovaco  (4)
  19. Esloveno  (4)
  20. Lituano  (3)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.