skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Co-verification of Hardware and Software for ARM SoC Design
Co-verification of Hardware and Software for ARM SoC Design
Co-verification of Hardware and Software for ARM SoC Design
Material Type:
Livro 		Adicionar ao Meu Espaço

Co-verification of Hardware and Software for ARM SoC Design

Jason R. Andrews

Newnes 2005

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

2
Program verification
Program verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Program verification

Nissim Francez

Wokingham, Eng. Reading, Mass. Addison-Wesley Pub. Co. c1992

Localização: IF - Instituto de Física    (005.14 F815p )(Acessar)

3
Software reviews and audits handbook
Software reviews and audits handbook
Material Type:
Livro 		Adicionar ao Meu Espaço

Software reviews and audits handbook

Charles P. Hollocker

New York Wiley c1990

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

4
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)

5
Verification and validation of rule-based expert systems
Verification and validation of rule-based expert systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification and validation of rule-based expert systems

Suzanne Smith 1953- Abraham Kandel

Boca Raton, Fla. CRC Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.891 Sm65v )(Acessar)

6
Software verification and validation realistic project approaches
Software verification and validation realistic project approaches
Material Type:
Livro 		Adicionar ao Meu Espaço

Software verification and validation realistic project approaches

Michael S. Deutsch

Englewood Cliffs, NJ Prentice-Hall c1982

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

7
Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

Software validation inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

Symposium on Software Validation (1983 Darmstadt, Germany) Hans-Ludwig Hausen 1945-; Gesellschaft für Mathematik und Datenverarbeitung; SRI International

Amsterdam New York New York, N.Y., U.S.A. Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1984

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

8
Systems and software verification model-checking techniques and tools
Systems and software verification model-checking techniques and tools
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems and software verification model-checking techniques and tools

Béatrice Bérard

Berlin Springer New York c2001

Localização: IME - Inst. Matemática e Estatística    (QA754 B483vI )(Acessar)

9
Principles of model checking
Principles of model checking
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of model checking

Christel Baier Joost-Pieter Katoen

Cambridge, Mass The MIT Press 2008?

Localização: EACH - Esc. Artes, Ciências e Humanidades    (004.24 B152p ) e outros locais(Acessar)

10
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop (7th 2000 Stanford, Calif.) Klaus Havelund 1955-; John Penix 1970-; Willem Visser 1968-

Berlin New York Springer 2000

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.778)
  2. Anais de Congresso  (5.403)
  3. Reports  (2.022)
  4. Livros  (421)
  5. Book Chapters  (367)
  6. magazinearticle  (185)
  7. Newsletter Articles  (20)
  8. Conjunto de Dados  (20)
  9. Dissertações  (19)
  10. Standards  (11)
  11. Recursos Textuais  (1)
  12. Imagens  (1)
  13. Resenhas  (1)
  14. Mais opções open sub menu

Assunto 

  1. Computer Science  (10.052)
  2. Science & Technology  (9.853)
  3. Technology  (9.638)
  4. Computer Science, Software Engineering  (6.901)
  5. Verification  (3.858)
  6. Software  (3.416)
  7. Computer Science, Theory & Methods  (3.046)
  8. Software Engineering  (2.981)
  9. Engineering  (2.754)
  10. Engineering, Electrical & Electronic  (2.191)
  11. Program Verification  (2.007)
  12. Computer Programming And Software  (1.909)
  13. Computer Science, Information Systems  (1.671)
  14. Formal Verification  (1.537)
  15. Computer Program Verification  (1.529)
  16. Computer Science, Hardware & Architecture  (1.514)
  17. Algorithms  (1.380)
  18. Computer Programs  (1.335)
  19. Exact Sciences And Technology  (1.216)
  20. Applied Sciences  (1.203)
  21. Model Checking  (773)
  22. Computer Software  (488)
  23. Computer Systems  (259)
  24. Logiciels  (155)
  25. Integrated Circuits  (145)
  26. Electronic Digital Computers  (76)
  27. Programmverifikation  (73)
  28. Formale Methode  (62)
  29. Computer Software  (41)
  30. Programmanalyse  (33)
  31. Engenharia De Programas  (20)
  32. Verificação E Validação De Software  (17)
  33. Engenharia De Software  (15)
  34. Integrated Circuits  (14)
  35. Verificação E Validação De Software (Congressos)  (9)
  36. Abstrakte Interpretation  (9)
  37. Técnicas De Programação (Congressos)  (8)
  38. SPIN (Computer file)  (7)
  39. Computer Systems  (7)
  40. Especificação De Sistemas E Programas (Congressos)  (6)
  41. Semântica De Programação (Congressos)  (6)
  42. Electronic Digital Computers  (5)
  43. Programmverifikation  (5)
  44. Formal Methods (Computer Science)  (5)
  45. Logiciels  (4)
  46. Programmanalyse  (4)
  47. Formale Methode  (4)
  48. Model Checking  (4)
  49. Abstrakte Interpretation  (4)
  50. Engenharia De Software  (2)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (77)
  2. 1976Até1987  (819)
  3. 1988Até1999  (1.864)
  4. 2000Até2012  (5.787)
  5. Após 2012  (6.938)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (15.222)
  2. Japonês  (759)
  3. Espanhol  (14)
  4. Português  (9)
  5. Alemão  (4)
  6. Norueguês  (4)
  7. Catalão  (4)
  8. Francês  (3)
  9. Romeno  (2)
  10. Ucraniano  (1)
  11. Chinês  (1)
  12. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.