Filtros : "TRANSFORMAÇÃO DE PROGRAMAS" Removido: "ICMC-SSC" Limpar

Filtros



Limitar por data


  • Unidade: EP

    Assuntos: LINGUAGENS FORMAIS, AUTÔMATOS FINITOS, TRANSFORMAÇÃO DE PROGRAMAS, GRAMÁTICA

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CEREDA, Paulo Roberto Massa. Macros como mecanismos de abstração em transformações textuais. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/. Acesso em: 23 out. 2025.
    • APA

      Cereda, P. R. M. (2018). Macros como mecanismos de abstração em transformações textuais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
    • NLM

      Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
    • Vancouver

      Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2025 out. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/
  • Unidade: IME

    Assuntos: TÉCNICAS DE PROGRAMAÇÃO, TRANSFORMAÇÃO DE PROGRAMAS

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIYAZAWA, Alvaro Heiji. Geração parcial de código Java a partir de especificações formais Z. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/. Acesso em: 23 out. 2025.
    • APA

      Miyazawa, A. H. (2008). Geração parcial de código Java a partir de especificações formais Z (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
    • NLM

      Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2025 out. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
    • Vancouver

      Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2025 out. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025