CiNii 図書 - Algebraic semantics of imperative programs

著者

書誌事項

Algebraic semantics of imperative programs

Joseph A. Goguen and Grant Malcolm

（MIT Press series in the foundations of computing）

MIT Press, c1996

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

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

QA76.7.G62 1996

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

12600078625

OPAC
岡山大学図書館工情報

007.6||GH019000098800*

OPAC
神奈川工科大学附属図書館

007.64||G12023412

OPAC
金沢学院大学図書館

007.64||A||007.64 AY026379

OPAC
京都大学数理解析研究所図書室数研

GOG||1||296022813

OPAC
近畿大学中央図書館中図

007.64-G5710349643

OPAC
岐阜大学図書館

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

410-9-136030009808875

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

007.64/G578097003225

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

007.64-G57100963026526

OPAC
東京大学大学院情報理工学系研究科CS図

25:G:162012630709

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

6096003110

OPAC
東北大学附属図書館本館

06000006770

OPAC
名古屋工業大学図書館

549.92||G 5797200035

OPAC
名古屋商科大学中央情報センター

1091165

OPAC
名古屋市立大学総合情報センター北千種分館

007.64||Go70234829

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

007.64||G41174862

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

DA100||340021684

OPAC
新潟大学附属図書館図

007//G571300642646

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

007.64GO0001468267,0001761658

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

007.64:G-57/593154221000437741

OPAC
福島大学附属図書館

T19700350*

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

C41||G5963087

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

C41||G6220017

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

005.131/G5582070380488

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

005.131/G5580571531527

OPAC
三重大学附属図書館

007.64/G 5769605966

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Algebraic semantics of imperative programs

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Algebraic semantics of imperative programs

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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