Autor: Constance Heitmeyer

Soporte

1 Ebooks de 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
Inglés
DRM
€56.99