馆藏书目查询系统 - 上海图书馆

Author Results for Puebla Germán.

Cover is for reference only

Logic-based program synthesis and transformation：16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

Corporate Authors: LOPSTR 2006 (2006 Venice, Italy); SpringerLink (Online service)
Group Author: Puebla Germán.
Published: Springer,
Publication Dates: c2007.

Book

Cover is for reference only

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

Corporate Authors: International Static Analysis Symposium (9th 2002 Madrid, Spain)
Group Author: Hermenegildo Manuel.; Puebla Germán.
Published: Springer,
Publication Dates: c2002.
Call Number: TP301-532/S797/2002

Book

Narrow Search