Indução iterativa de programas lógicosAlípio Jorge
Indução iterativa de programas lógicos
<uma >abordagem à síntese de programas lógicos a partir de especificação incompletas
de Alípio Jorge
[s.n.] · 1998 · 228 páginas
Sem exemplares à venda de momento
Exemplares à venda
Ninguém tem este livro à venda neste momento.
Peça um aviso ao lado: escrevemos-lhe quando aparecer.
Detalhes do livro
- Título
- Indução iterativa de programas lógicos: <uma >abordagem à síntese de programas lógicos a partir de especificação incompletas
- Autor
- Alípio Jorge
- Editora
- [s.n.]
- Local de edição
- Porto
- Ano
- 1998
- Páginas
- 228
- Dimensões
- 30 cm
- Idioma
- Português
- Categoria
- Obras gerais
Sobre Alípio Jorge
Fonte: Wikipédia (CC BY-SA)
Dados bibliográficos: Biblioteca Nacional de Portugal.