1 电子书 Constance Heitmeyer
John Fitzgerald & Stefania Gnesi: FM 2016: Formal Methods
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers prese …
PDF
英语
DRM
€57.76
