María Alpuente – författare

Visar alla böcker från författaren .

3 produkter

Kategorier

3 produkter

Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
AvMaría Alpuente,Germán Vidal-Oriola
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
AvMaría Alpuente,Byron Cookm. 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
AvMaría Alpuente
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar