Christiano Braga – författare

Visar alla böcker från författaren Christiano Braga.

2 produkter

1. 

   Formal Methods: Foundations and Applications

   17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

   Av Christiano Braga, Narciso Martí-Oliet

   Häftad, 2015

   589 kr

   Lägg i varukorg

2. 

   Formal Aspects of Component Software

   12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

   Av Christiano Braga, Peter Csaba Ölveczky

   Häftad, 2016

   709 kr

   Lägg i varukorg