1 电子书 Mark Lawford
Mark Lawford & Shaoying Liu: Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers prese …
PDF
英语
DRM
€58.19
