लेखक: Juliano Iyoda

समर्थन

1 द्वारा ईबुक Juliano Iyoda

Juliano Iyoda & Leonardo de Moura: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented …
PDF
अंग्रेज़ी
DRM
€51.57