María Alpuente – författare
Visar alla böcker från författaren María Alpuente. Handla med fri frakt och snabb leverans.
6 produkter
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
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM …
Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
Av German Vidal-Oriola, Maria Alpuente
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM …
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
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …
Formal Methods for Industrial Critical Systems
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Av Christophe Joubert, Byron Cook m. fl.
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …
Logic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed …
Logic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed …
