成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
FM
关注
1
FM 2019是正式方法欧洲(FME)组织的系列国际研讨会中的第23次,该协会是一个独立的协会,旨在促进软件开发正式方法的使用和研究。官网链接:
http://formalmethods2019.inesctec.pt/?page_id=565 a>
综合
百科
VIP
热门
动态
论文
精华
蔡文胜:在大公司待 5 年人就废了,不要相信在厕所用6分钟搞定永远花不完的钱的故事
创业邦杂志
0+阅读 · 2017年10月8日
华为发布首款折叠屏手机 Mate X:售价约 1.75 万人民币;亚马逊一货机海湾坠毁;微博回应明星账号流量造假 | 极客早知道
极客公园
0+阅读 · 2019年2月25日
蜻蜓FM朱侃:如何奏响内容产品三部曲
Analysys易观
0+阅读 · 2018年7月5日
我们的征途是星辰大海!| 新榜有赚
新榜
0+阅读 · 2017年8月8日
余秋雨:一切追求都已经追求过了,一切目标都已经失去了
人物
0+阅读 · 2018年4月25日
北京地铁青年图鉴
创业财经汇
0+阅读 · 2018年6月23日
如果我是推荐算法面试官,我会问哪些问题?
PaperWeekly
2+阅读 · 2021年2月28日
蜻蜓FM张强:做好三大战略布局等风来,音频终将与视频一起站在舞台中央 | WISE 2018新经济之王
36氪
0+阅读 · 2018年11月30日
檀香气味剂促头发生长;出生后的肠道菌群,或伴终身 | 科学FM
知识分子
0+阅读 · 2018年9月23日
短视频如何做到千人千面?FM+GBM排序模型深度解析
阿里技术
2+阅读 · 2018年9月14日
陈春花:没有这三样东西,企业一定活不久!
秦朔朋友圈
0+阅读 · 2018年4月23日
为什么这么多人喜欢花钱读总裁文 | 新榜有赚
新榜
0+阅读 · 2017年7月18日
来安装一个酷炫的 VS Code 主题更好的刷题
算法与数据结构
1+阅读 · 2019年5月17日
红杉午夜FM | 这一代的年轻人撬动斜杠,丈量世界
红杉汇
0+阅读 · 2019年9月16日
今年我在知识付费上花了100元,但有用的知识却都是免费学的
卢松松
0+阅读 · 2018年4月8日
参考链接
父主题
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top