María Alpuente – författare

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

3 produkter

1. 

   Static Analysis

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

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

   Häftad, 2008

   739 kr

   Lägg i varukorg

2. 

   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, 2009

   739 kr

   Lägg i varukorg

3. 

   Logic-Based Program Synthesis and Transformation

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

   Av María Alpuente

   Häftad, 2011

   739 kr

   Lägg i varukorg