María Alpuente – författare
Visar alla böcker från författaren María Alpuente.
3 produkter
3 produkter
Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
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
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
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar