Top 514 fm busby PDF Book Page 22
FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
·954 Pages
·1999
·14.063 MB
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Steve Counsell, Manuel Núñez (eds.)
·445 Pages
·2014
·12.074 MB
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Brijesh Dongol, Luigia Petre, Graeme Smith
·253 Pages
·2019
·10.098 MB
清晨领导力：新经理人的50个领导力修炼（源自清华大学MBA领导力课程，喜马拉雅FM高人气领导课，《领导梯队》落地的实战手册）
徐中
·2020
·2.1123 MB
