Blank Cover Image
QRコード(所蔵情報)

形式的モデルと意味論

フォーマット:
図書
責任表示:
Leeuwen, Jan van ; 広瀬, 健(1935-)
言語:
日本語
出版情報:
東京 : 丸善, 1994.2
形態:
26, 1248p ; 23cm
著者名:
シリーズ名:
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2 <BN10400350>
書誌ID:
BN10400601
ISBN:
9784621039229 [4621039229]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 アルゴリズムと複雑さ

Leeuwen, Jan van, 広瀬, 健(1935-)

丸善
7 図書 意味ってなに? : 形式意味論入門

Portner, Paul, 片岡, 宏仁

勁草書房
2 図書 基礎概念

Knuth, Donald Ervin, 1938-, 広瀬, 健(1935-)

サイエンス社
8 図書 コンピュータ基礎理論ハンドブック

Leeuwen, Jan van, 広瀬, 健(1935-), 野崎, 昭弘(1936-), 小林, 孝次郎(1939-)

丸善
3 図書 形式意味論

杉本, 孝司(1948-)

くろしお出版
9 図書 形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析

平石, 邦彦(1960-)

森北出版
4 図書 数学的帰納法

広瀬, 健(1935-)

教育出版
10 図書 形式意味論入門

田中, 拓郎

開拓社
5 図書 数学の方法 : 直観的イメージから数学的対象へ

広瀬, 健(1935-)

共立出版
11 電子ブック 計算モデルとプログラミング

猪股, 俊光, 山田, 敬三

森北出版
6 図書 プログラミング言語の形式的意味論入門

Winskel, Glynn, 勝股, 審也, 中澤, 巧爾, 西村, 進 (1970-), 前田, 敦司 (1962-), 末永, 幸平

丸善出版
12 図書 社会科学における数学的モデル

Kemeny, John G., 1926-, Snell, J. Laurie (James Laurie), 1925-, 甲田, 和衛(1920-), 山本, 国雄(1923-), 中島, 一(1925-)

培風館