1 电子书 Leila Silva
Jim Davies & Leila Silva: Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010. The 18 revised full pape …
PDF
英语
DRM
€58.19
