The formal semantics of programming languages : an introduction

- Winskel, Glynn

関連文献: 1件

著者

- Winskel, Glynn

書誌事項

The formal semantics of programming languages : an introduction

Glynn Winskel

（MIT Press series in the foundations of computing）

MIT Press, c1993

: pbk

大学図書館所蔵件 / 全60件

会津大学情報センター (附属図書館)図

QA76.7.W555 1993

OPAC
大阪工業大学図書館中央

007.64||W89612655

OPAC
大阪大学附属図書館総合図書館

12600022870

OPAC
大阪大学附属図書館理工学図書館

: pbk12600022870

OPAC
岡山大学図書館工情報

007.6||WH019000024139*

OPAC
金沢学院大学図書館

007.64||F||007.64 FY026409

OPAC
金沢大学附属図書館自然図自動書庫

007.64:W7770200-50552-1

OPAC
関西学院大学図書館三田

006.5:21080004737060

OPAC
北九州学術研究都市学術情報センター北九州図書

007.64||W77000081658

OPAC
九州工業大学附属図書館情報工学部分館

549.9||W-211006038042

OPAC
九州大学理系図書館

007.64/W 77068252193001880

OPAC
京都産業大学図書館

418.6675427

OPAC
京都大学大学院情報学研究科

007.6||WIN 10||193008213

OPAC
京都大学理学部中央

007.64||WI200019354425

OPAC
京都大学理学部数学

: pbkWIN||09.81||01C200037040784

OPAC
岐阜大学図書館

007.64||Win121153843

OPAC
高知工科大学附属情報図書館

007.64||W7700041513

OPAC
高知大学学術情報基盤図書館中央館

2:15597423

OPAC
神戸大学附属図書館自然科学系図書館

548-84-106h039300001859*

OPAC
国際基督教大学図書館図

007.64/W77f04556046

OPAC
国立情報学研究所

007.64||2010||2313110116222

OPAC
国立情報学研究所研究室

2018||010110196537

OPAC
山陽小野田市立山口東京理科大学図書館図

007.6||W7799538200

OPAC
静岡大学附属図書館浜松分館浜図

: pbk007.64/W778097003357

OPAC
島根大学附属図書館

OPAC
上智大学図書館中央

QA:76.7:W555:1993001139952

OPAC
筑波大学附属図書館中央図書館

007.64-W7610093702178

OPAC
筑波大学附属図書館図書館情報学図書館

007.64:W-77931003090

OPAC
電気通信大学附属図書館研

549.98||W772000100082

OPAC
電気通信大学附属図書館開架

549.98||W772219304544

OPAC
東京海洋大学附属図書館越中島分館工流通工学

549.92||W 43198785

OPAC
東京科学大学大岡山図書館

007.64/W116427036

OPAC
東京大学先端科学技術研究センター図書室図書室

007:F7247612020516

OPAC
東京電機大学総合メディアセンター千葉センター

549.9/W-778000003656

OPAC
東北大学電気通信研究所図書室

06070004241

OPAC
東北大学附属図書館工学分館図

: pbk03170003734

OPAC
名古屋工業大学図書館

549.92||W 772168297

OPAC
名古屋大学工学図書室工情報

007.64||W41620592

OPAC
名古屋大学工学図書室工電気情報

007.6||W41080294

OPAC
名古屋大学国際開発図書室国際開発

007.64||W1122069

OPAC
名古屋大学情報・言語合同図書室情報・言語

: pbk007.64||W41645119

OPAC
名古屋大学附属図書館中央館

007.64||W1115748

OPAC
名古屋大学理学図書室理数理

garr||kaken||研||4441441420129

OPAC
奈良先端科学技術大学院大学附属図書館

DA100||1609111540

OPAC
新潟大学附属図書館図

007.6//W771300209390, : pbk007//W771300642635

OPAC
兵庫県立大学神戸商科学術情報館

: pbk007.64||232420149241

OPAC
広島修道大学図書館

1

OPAC
広島市立大学附属図書館

007.64/WI0001444261,0001480931,0001713466

OPAC
広島大学図書館東図書館

007.64:W-77/HL6061006000403105

OPAC
広島大学図書館西図書館

007.64:W-77/593154221000414854

OPAC
放送大学附属図書館図

007.6/W7711118850090

OPAC
北陸先端科学技術大学院大学附属図書館図

: pbkC41||W5220077

OPAC
北陸先端科学技術大学院大学附属図書館研究科

: pbkC41||W5230003

OPAC
北海学園大学附属図書館工

007.64/W770821276

OPAC
北海道大学大学院工学研究科・工学部図書室図書

005.13/W7323580119666

OPAC
北海道大学附属図書館図

005.13/W7320181026744

OPAC
北海道大学附属図書館北図書館

005.13/W7320280466667

OPAC
三重大学附属図書館

007.64/W 7769303161

OPAC
明海大学浦安キヤンパスメデイアセンター(図書館)

007.64-W771432010

OPAC
立命館大学図書館

8110681098

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

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

The formal semantics of programming languages : an introduction

著者

書誌事項

大学図書館所蔵件 / 全60件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

The formal semantics of programming languages : an introduction

著者

書誌事項

大学図書館所蔵 件 / 全60件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全60件