1 Ebooks bởi Ian J. Hayes
John Fitzgerald & Ian J. Hayes: FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th International Symposiumon Formal Methodsheldin Newcastleupon Tyne, UK, during July 18-22, 2005. Formal Methods Europe (FME, www.f …
PDF
Anh
DRM
€57.68
