Unifying Theories of Programming

出版刊物 盘天下 | 网盘资源分享 2025-02-01 1035 0
篱落主机 - 香港免备案 老薛主机 - 优惠码：0813 推荐VPN-Clash 29元/月,80G大流量卡 篱落主机 - 香港免备案 老薛主机 - 优惠码：0813 推荐VPN-Clash 29元/月,80G大流量卡

Unifying Theories of Programming

内容简介

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

下载地址

夸克资源精选合集

「电影」 「电视剧」 「大尺度」 「动漫」 「付费短剧」 「广播剧」 「纪录片」 「软件工具」 「音乐」 「教程」 「网赚」 「书库1」 「书库2」 「小说」 「综艺」
#编程
(0)
(0)

1. 本站所有资源来源于网络，如有侵权请邮件联系站长！hygd0813@qq.com
2. 分享目的仅供大家学习和交流，您必须在下载后24小时内删除！
3. 不得使用于非法商业用途，不得违反国家法律。否则后果自负！
4. 本站提供的资源，都不包含版权，请大家谅解！
5. 如有链接无法下载、失效或广告，请联系管理员处理！
6. 转载请注明出处，本文链接：https://www.panlearn.cn/edubook/73927.html

相关资源

评论列表

篱落主机 - 香港免备案 老薛主机 - 优惠码：0813 推荐VPN-Clash 29元/月,80G大流量卡 篱落主机 - 香港免备案 老薛主机 - 优惠码：0813 推荐VPN-Clash 29元/月,80G大流量卡
盘学网 | 免费精选资源分享

盘学网 | 免费精选资源分享

  • 资源189279
  • 标签1269
  • 分类28

热门阅读

猜您喜欢