Författare: Ian J. Hayes

Stöd

1 E-böcker av 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
Engelska
DRM
€57.82