1 电子书 Lindsay Groves
Lindsay Groves & Jing Sun: Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revise …
PDF
英语
DRM
€58.19
