1 Электронные книги 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
английский
DRM
€57.68
