María Alpuente - Böcker

Visar alla böcker från författaren María Alpuente.

3 produkter

Kategorier

3 produkter

Static Analysis

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Av María Alpuente, Germán Vidal-Oriola m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Av María Alpuente, Byron Cook m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Logic-Based Program Synthesis and Transformation

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Av María Alpuente, María

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar