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 …
PDF
английский
DRM
€56.99
