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
