Algebraic semantics of imperative programs

書誌事項

Algebraic semantics of imperative programs

Joseph A. Goguen and Grant Malcolm

(MIT Press series in the foundations of computing)

MIT Press, c1996

大学図書館所蔵 件 / 28

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ