1 resultado para Linguagem de programação (Computadores) - Semântica
em Repositório Institucional da Universidade Federal do Rio Grande do Norte
Filtro por publicador
- B-Digital - Universidade Fernando Pessoa - Portugal (2)
- Biblioteca de Teses e Dissertações da USP (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (9)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (2)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (38)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (4)
- Deposito de Dissertacoes e Teses Digitais - Portugal (1)
- Instituto Politécnico de Castelo Branco - Portugal (1)
- Instituto Politécnico de Leiria (1)
- Instituto Politécnico do Porto, Portugal (61)
- Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar (29)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (110)
- Ministerio de Cultura, Spain (37)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (24)
- Projetos e Dissertações em Sistemas de Informação e Gestão do Conhecimento (1)
- RDBU - Repositório Digital da Biblioteca da Unisinos (49)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (22)
- Repositório Aberto da Universidade Aberta de Portugal (2)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório Científico da Universidade de Évora - Portugal (4)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (42)
- Repositório da Escola Nacional de Administração Pública (ENAP) (5)
- Repositório da Produção Científica e Intelectual da Unicamp (10)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (7)
- Repositório digital da Fundação Getúlio Vargas - FGV (30)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (13)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (14)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade de Brasília (2)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (6)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (115)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (104)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Scielo Saúde Pública - SP (95)
- Sistema UNA-SUS (29)
- Universidad de Alicante (1)
- Universidade do Minho (23)
- Universidade dos Açores - Portugal (3)
- Universidade Federal de Uberlândia (1)
- Universidade Federal do Pará (7)
- Universidade Federal do Rio Grande do Norte (UFRN) (68)
- Universidade Metodista de São Paulo (5)
- Universitat de Girona, Spain (7)
- Université de Lausanne, Switzerland (3)
Relevância:
Resumo:
COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.
