検索条件入力
>
書誌詳細
>
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
書誌情報:Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings