Unifying Theories of Programmingepub,mobi,azw3格式电子书下载，作者：Wolff, Burkhard; Gaudel, Marie-Claude; Feliachi, Abderrahmane-读书派

Unifying Theories of Programming

发表：2024-06-30
分类：英文原版
围观：0

书名：Unifying Theories of Programming
作者： Wolff Burkhard; Gaudel Marie-Claude; Feliachi Abderrahmane
格式：PDF
时间：2024-06-30
评分：
ISBN：9783642357046

内容简介：

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.

作者简介：

下载地址：

下载Unifying Theories of Programming

标签：

编程(142)

文章链接：https://www.dushupai.com/book-content-29336.html(转载时请注明本文出处及文章链接)