Logic Based Program Synthesis And Transformation

13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

idioma: inglês
Editor: Springer Nature B.V., março de 2014 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Logic Based Program Synthesis And Transformation

13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Propriedade Descrição
ISBN: 9783662175088
Editor: Springer Nature B.V.
Data de Lançamento: março de 2014
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa mole
Páginas: 248
Tipo de produto: Livro
Coleção: O. Sauerstoff. Oxygen (System-Nr. 3)
Classificação Temática: Livros em Inglês > Outros
EAN: 9783662175088

LIVROS DA MESMA COLEÇÃO