大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Alpuente 的图书(共3本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号：
作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.