Refinement calculus : a systematic introduction
著者
書誌事項
Refinement calculus : a systematic introduction
（Graduate texts in computer science）
Springer, c1998
大学図書館所蔵 全14件
注記
Includes bibliographical references (p. [501]-508) and index
Refinement calculus : a systematic introduction
（Graduate texts in computer science）
Springer, c1998
Includes bibliographical references (p. [501]-508) and index