Yazar: Mark Lawford

Destek

1 Ebooks tarafından 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 …
PDF
İngilizce
DRM
€57.10