Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao (1989)
- Autor:
- Autor USP: CAZARINI, EDSON WALMIR - EESC
- Unidade: EESC
- Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; CONFIABILIDADE DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher place: Sao Carlos
- Date published: 1989
- Source:
- Título: Cpd-Informa
- Volume/Número/Paginação/Ano: v.2 , n.8 , p.5-8, set. 1989
-
ABNT
CAZARINI, Edson Walmir. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao. Cpd-Informa, v. 2 , n. 8 , p. 5-8, 1989Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf. Acesso em: 01 jan. 2026. -
APA
Cazarini, E. W. (1989). Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao. Cpd-Informa, 2 ( 8 ), 5-8. Recuperado de https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf -
NLM
Cazarini EW. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao [Internet]. Cpd-Informa. 1989 ;2 ( 8 ): 5-8.[citado 2026 jan. 01 ] Available from: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf -
Vancouver
Cazarini EW. Programacao com correcao e confiabilidade: fatores que prejudicam a comprovacao de correcao [Internet]. Cpd-Informa. 1989 ;2 ( 8 ): 5-8.[citado 2026 jan. 01 ] Available from: https://repositorio.usp.br/directbitstream/089cfe87-9885-495d-8a01-534557bee104/PROD_001640_SYSNO_795719.pdf - Proposta metodológica para aperfeiçoamento de planejamento em EAD utilizando estilos de aprendizagem e competências requeridas: aplicação ao caso da Engenharia de Produção
- Um estudo sobre a viabilidade da implantação do data warehouse nas organizações
- Os impactos do capital humano sobre o planejamento estratégico organizacional
- Diretrizes para implantação de ERPs
- Modelagem organizacional, facilitador do desenvolvimento de sistemas de informação
- Sistema de controle de vendas e produção como suporte ao sistema KANBAN
- Ensino a distancia com o uso da www
- Guidelines to innovate organizations by knowledge management via communities of practice
- Tecnologias essenciais para desenvolver comunidades de prática e gestão do conhecimento
- Gestão de compras na administração pública utilizando modelagem organizacional
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
| PROD_001640_SYSNO_795719.... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
