Geração parcial de código Java a partir de especificações formais Z (2008)
Unidade: IMESubjects: TÉCNICAS DE PROGRAMAÇÃO, TRANSFORMAÇÃO DE PROGRAMAS
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: 30 set. 2024.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 2024 set. 30 ] 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 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/