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.
作者简介
Wolff is a variant of the Wolf surname which is derived from the baptismal names Wolfgang or Wolfram. == List of people surnamed Wolff == === A === Albert Wolff (disambiguation), several people Alex Wolff, American actor Alexander Wolff, American writer Alexander Wolff (soldier), (1788–1863), British officer who served under the Duke of Wellington Andreas Wolff (born 1991), German handball player Annemarie Wolff (born 1990), German politician Auguste Wolff (1821–1887), French piano maker === B =
点击查看全部下载链接（含网盘地址及提取码）
