検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00322801
名称(HDNG)Bakker, Jacobus Willem de, 1939-
生没年(DATE)1939-
から見よ(SF)Bakker, Jaco de, 1939-
De Bakker, J. W.
Bakker, J. W. de
注記(NOTE)Author's Formal definition of programming languages, 1967
His Mathematical theory of program correctness, c1980: t.p. (Jaco de Bakker)
b. 1939
LCAID80025863
選択行を：
選択行を
▲ページトップへ