Výsledky hledání pro autora

1

Obálka

Logic-based program synthesis and transformation : 16th International Workshop, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers /

Vydáno 2007

Další autoři: '; “...Puebla, Germán...”

Kniha

2

Obálka

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...Puebla, Germán...”

Kniha