Formal semantics of lips with applications to program correctness
著者
書誌事項
Formal semantics of lips with applications to program correctness
University Microfilms International, 1974
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
Facsim. Reprint of the author's thesis (Ph.D.)--Stanford University, 1974
Includes bibliographical references (leaves 169-173)