skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating complete and finite test suite for ioco is it possible?

Adenilso da Silva Simão Alexandre Petrenko; Workshop on Model-Based Testing (9. 2014 Grenoble, France)

Electronic Proceedings in Theoretical Computer Science Dübendorf, Suiça : Open Publishing Association, 2014

Dübendorf, Suiça Open Publishing Association 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2471576 )(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

On structuring functional programs with monoidal profunctors

Alexandre Garcia de Oliveira Mauro Jaskelioff; Ana Cristina Vieira de Melo; Workshop on Mathematically Structured Functional Programming - MSFP (9. 2022 Munich, Germany)

Electronic Proceedings in Theoretical Computer Science Sydney v. 360, p. 134-150, 2022

Sydney 2022

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.