Rohit Gheyi – författare
Visar alla böcker från författaren Rohit Gheyi. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Häftad, 2012
517 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 …
Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
E-bok, 2012
683 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 …
