Mathematical logic and programming languages

edited by C.A.R. Hoare and J.C. Shepherdson

この本の情報

書名 Mathematical logic and programming languages
著作者等 Hoare, Charles Antony Richard
Shepherdson, J. C.
シリーズ名 Prentice-Hall International series in computer science
出版元 Prentice Hall International
刊行年月 c1985
ページ数 184 p.
大きさ 25 cm
ISBN 0135614651
NCID BA00149176
※クリックでCiNii Booksを表示
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想