Filtros : "MASIERO, PAULO CESAR" "1990" "ICMC" Removidos: "EACH-GPP-86" "1982" "Financiamento NSF" "FE" Limpar

Filtros



Refine with date range


  • Source: Revista Brasileira de Computacao. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MASIERO, Paulo Cesar. Algorithm development through correct transformations. Revista Brasileira de Computacao, v. 6 , n. 2 , p. 29-38, 1990Tradução . . Acesso em: 04 ago. 2024.
    • APA

      Masiero, P. C. (1990). Algorithm development through correct transformations. Revista Brasileira de Computacao, 6 ( 2 ), 29-38.
    • NLM

      Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2024 ago. 04 ]
    • Vancouver

      Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2024 ago. 04 ]
  • Unidade: ICMC

    Assunto: SISTEMAS DE INFORMAÇÃO

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MASIERO, Paulo Cesar. Algorithm development through correct transformations. . Sao Carlos: Icmsc-Usp. . Acesso em: 04 ago. 2024. , 1990
    • APA

      Masiero, P. C. (1990). Algorithm development through correct transformations. Sao Carlos: Icmsc-Usp.
    • NLM

      Masiero PC. Algorithm development through correct transformations. 1990 ;[citado 2024 ago. 04 ]
    • Vancouver

      Masiero PC. Algorithm development through correct transformations. 1990 ;[citado 2024 ago. 04 ]
  • Conference titles: Congreso Nacional de Informática. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990, Anais.. Quito: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1990. . Acesso em: 04 ago. 2024.
    • APA

      Rodriguez, M., & Masiero, P. C. (1990). Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. In . Quito: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
    • NLM

      Rodriguez M, Masiero PC. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990 ;[citado 2024 ago. 04 ]
    • Vancouver

      Rodriguez M, Masiero PC. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990 ;[citado 2024 ago. 04 ]
  • Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MASIERO, Paulo Cesar et al. Ambiente de desenvolvimento baseado na abordagem operacional. . Sao Carlos: Icmsc-Usp. . Acesso em: 04 ago. 2024. , 1990
    • APA

      Masiero, P. C., Rodriguez, M., Pereira, D. B., & Gasparoto, I. A. (1990). Ambiente de desenvolvimento baseado na abordagem operacional. Sao Carlos: Icmsc-Usp.
    • NLM

      Masiero PC, Rodriguez M, Pereira DB, Gasparoto IA. Ambiente de desenvolvimento baseado na abordagem operacional. 1990 ;[citado 2024 ago. 04 ]
    • Vancouver

      Masiero PC, Rodriguez M, Pereira DB, Gasparoto IA. Ambiente de desenvolvimento baseado na abordagem operacional. 1990 ;[citado 2024 ago. 04 ]
  • Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MEIRA, C A A e MASIERO, Paulo Cesar. Especificacoes formais em vdm: um estudo de caso. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf. Acesso em: 04 ago. 2024. , 1990
    • APA

      Meira, C. A. A., & Masiero, P. C. (1990). Especificacoes formais em vdm: um estudo de caso. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
    • NLM

      Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso [Internet]. 1990 ;[citado 2024 ago. 04 ] Available from: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
    • Vancouver

      Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso [Internet]. 1990 ;[citado 2024 ago. 04 ] Available from: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
  • Conference titles: Jornadas en Ingenieria de Sistemas Informaticos Y de Computacion. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990, Anais.. Quito: Escuela Politecnica Nacional, 1990. . Acesso em: 04 ago. 2024.
    • APA

      Rodriguez, M., & Masiero, P. C. (1990). Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. In . Quito: Escuela Politecnica Nacional.
    • NLM

      Rodriguez M, Masiero PC. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990 ;[citado 2024 ago. 04 ]
    • Vancouver

      Rodriguez M, Masiero PC. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990 ;[citado 2024 ago. 04 ]
  • Conference titles: Congresso Nacional de Informatica. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Um analisador de especificações operacionais. 1990, Anais.. Rio de Janeiro: SUCESU, 1990. . Acesso em: 04 ago. 2024.
    • APA

      Rodriguez, M., & Masiero, P. C. (1990). Um analisador de especificações operacionais. In . Rio de Janeiro: SUCESU.
    • NLM

      Rodriguez M, Masiero PC. Um analisador de especificações operacionais. 1990 ;[citado 2024 ago. 04 ]
    • Vancouver

      Rodriguez M, Masiero PC. Um analisador de especificações operacionais. 1990 ;[citado 2024 ago. 04 ]

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024