Hoppa till sidans huvudinnehåll

María Alpuente - Böcker

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

Static Analysis

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

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

Häftad, Engelska, 2008

719 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

AvMaría Alpuente,Byron Cook m. fl.

Häftad, Engelska, 2009

719 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

AvMaría Alpuente,María

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar