WebOPAC Local書誌詳細

書誌詳細

	The formal semantics of programming languages : an introduction Glynn Winskel. -- MIT Press, 1993. -- (MIT Press series in the foundations of computing). <BB10079658> 登録タグ：コンピューティング（2015）便利機能：詳細情報を見る書誌URL：

The formal semantics of programming languages : an introduction Glynn Winskel. -- MIT Press, 1993. -- (MIT Press series in the foundations of computing). <BB10079658> 登録タグ：コンピューティング（2015）便利機能：詳細情報を見る書誌URL：

1 2 次へ >>

No.	所蔵館	配置場所	請求記号	資料ID	状態	予約
0001	本部	2階一般図書	007.6/W77	11118850090		0件
0002	北海道	北海道一般書	007.6/W77	11118850108	禁帯出	0件
0003	宮城	宮城一般書	007.6/W77	11118850114	禁帯出	0件
0004	群馬	群馬一般書	007.6/W77	11118850120	禁帯出	0件
0005	埼玉	埼玉一般書	007.6/W77	11118850137	禁帯出	0件
0006	神奈川	神奈川一般書	007.6/W77	11118850189	禁帯出	0件
0007	東京文京	文京一般書	007.6/W77	11118850150	禁帯出	0件
0008	東京足立	足立一般書	007.6/W77	11118850166	禁帯出	0件
0009	京都	京都一般書	007.6/W77	11118850203	禁帯出	0件
0010	大阪	大阪一般書	007.6/W77	11118850210	禁帯出	0件

1 2 次へ >>

標題および責任表示

The formal semantics of programming languages : an introduction / Glynn Winskel

出版・頒布事項

Cambridge, Mass. : MIT Press , c1993

形態事項

xviii, 361 p. : ill. ; 24 cm

巻号情報

ISBN	0262231697

書誌構造リンク

MIT Press series in the foundations of computing <BB10079659>//a

注記

Includes bibliographical references (p. [353]-356) and index

学情ID

BA19992858

本文言語コード

英語

著者標目リンク

*Winskel, Glynn <AU10070240>

分類標目

LCC:QA76.7

分類標目

DC20:005.13/1

件名標目等

Programming languages (Electronic computers) -- Semantics