Marcel Vinícius Medeiros Oliveira – författare
Visar alla böcker från författaren Marcel Vinícius Medeiros Oliveira. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Av Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full …
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Av Jim Woodcock, Marcel Vinicius Medeiros Oliveira
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full …
