On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together – among other things – Z specifications and Dijkstra’s programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
€57.27
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9781447132738 ● 编辑 Carroll Morgan & Trevor Vickers ● 出版者 Springer London ● 发布时间 2012 ● 下载 3 时 ● 货币 EUR ● ID 4669815 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
48,216 此类电子书
