skip to main content

Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

LOPSTR 2002 (2002 Madrid, Spain) Michael Leuschel

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2664 )(Acessar)

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.