盘天下 | 免费精选资源分享

内容简介

This book constitutes the refereed proceedings of the 4 th 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 care fully reviewed and selected from 13 submissions.

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：ssze

• 
• 
• 
• 

转载请注明出处，本文链接：https://www.80srz.com/pantx/73927.html