Maria M. Larrondo-Petrie – författare

Visar alla böcker från författaren Maria M. Larrondo-Petrie. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Methods and Software Engineering

   9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

   Av Michael Butler, Michael G. Hinchey m. fl.

   Häftad, 2007

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 …

2. 

   Formal Methods and Software Engineering

   9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

   Av Maria M. Larrondo-Petrie, Michael G. Hinchey m. fl.

   E-bok, 2007

   734 kr

   Lägg i varukorg