CiNii 図書 - Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

著者

- Müller-Olm, Markus

書誌事項

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Markus Müller-Olm

（Lecture notes in computer science, 1283）

Springer, c1997

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

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

OPAC
宇都宮大学附属図書館陽東分館

549.08||1||1283

OPAC
大阪教育大学附属図書館

004.08/Le/1283Y9800163

OPAC
大阪公立大学杉本図書館図書館

548//L49//453611700645366

OPAC
大阪産業大学綜合図書館

007.64/15503097730

OPAC
関西大学図書館図

206972377

OPAC
関西学院大学図書館上ケ原

510.78:265:12830002317923

OPAC
九州大学理系図書館

408/L 49061232004017085

OPAC
京都産業大学図書館

S/418.6831898

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

L/N||LNCS||128397034092

OPAC
岐阜大学図書館

549.92||Lec120774542

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

007||L49||128300063242

OPAC
公立はこだて未来大学情報ライブラリー

007.08||Le||1283000013511

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

V.1283007.6/L507/v.128305006138, 007.6/L507/v.128305006138

OPAC
国立研究開発法人理化学研究所図書館

430||LEC-1||1283B9907525

OPAC
国立民族学博物館情報管理施設

W1/004/LecF199906633

OPAC
滋賀大学附属図書館

001.6||L 49||1283097002253

OPAC
静岡理工科大学附属図書館

007.63||L471||128309807572

OPAC
湘南工科大学附属図書館

Z37203

OPAC
上智大学図書館中央

QA:76.76:C65:M85:1997002473734

OPAC
千葉大学附属図書館研

098042681

OPAC
中央大学図書館理工学部分館理工

004/L4700016750952

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

007.08-L49-1283100977012362

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

007.08:L-49:1283971006080

OPAC
津田塾大学図書館図

519C/L417/v.1283110205056

OPAC
東海大学付属図書館12

549.92/L/128301951020

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

Z01037116483726

OPAC
東京大学数理科学研究科図書

FU:Mu8010193079

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

39:L:1.12832012685604

OPAC
東京都市大学横浜キャンパス図書館

007.64/Mu29m1199850317

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

06050005052

OPAC
豊橋技術科学大学附属図書館図

007.08||LE||128397901636

OPAC
名古屋工業大学図書館

549.92||C 85

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

AB||23||12830023304

OPAC
日本大学文理学部図書館数情

418.608||L49||128315079131

OPAC
一橋大学附属図書館図

*5080**1**1283129704418-

OPAC
広島国際大学図書館図

007.6||M39827460

OPAC
広島大学図書館中央図書館

007.64:Mu-29/HL4010004000407365

OPAC
法政大学図書館多図

007/L49/128310602020135789

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

LN ||LNCS||12835970818

OPAC
三重大学附属図書館

549.9/L 49/128369706552

OPAC
明治学院大学図書館横図

001.6:L:12831100649050

OPAC
立教大学図書館

52019278

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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