VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

関連文献: 1件

著者

書誌事項

edited by D. Bjørner ... [et al.]

（Lecture notes in computer science, 252）

Springer-Verlag, c1987

: gw
: us

タイトル別名: VDM, a formal method at work

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

愛知教育大学附属図書館図

: gw007.63||V49||198787000852

OPAC
愛知産業大学・短期大学図書館

: us00700015324

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

: gwQA76.76.D47V85 1987F0001351

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

: gw549.08||1|| 2522270163146

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

: gw549.9/47/25201806710

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

: gw08782001500

OPAC
金沢大学附属図書館中央図書庫

: us007.63:V3938700-53801-9

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

: gw510.78:265:2520096849666

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

: us549.9||L-5||2520414218

OPAC
九州大学理系図書館

: gw408/L 49061232004006792

OPAC
京都産業大学図書館

: gw418.6||VOM

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

L/N||LNCS||25287004910

OPAC
岐阜大学図書館

OPAC
熊本大学附属図書館

Germany418.6||L, 49||(252)10069252

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

: gw007.08:L49:252208800365

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

007:L49:(252)208800365

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

: gw007||L49||252000179424, : us007||L49||25200017942

OPAC
神戸大学附属図書館経済経営研究所図書館図書

: gw621.34-446//252081000076328

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

: gw430||LEC-1||252B9906609

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

: usW1/004/LecC870234523

OPAC
埼玉大学図書館数学

007.6:VY701695X

OPAC
滋賀大学附属図書館

: gw001.6||L 49||252087145446

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

: gw007/L49/2520087021879

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

: gw007.63||L471||25209603214

OPAC
島根大学附属図書館

OPAC
摂南大学図書館本館

: gw549.92||L||25128702873

OPAC
拓殖大学八王子図書館

: gw007.63||1987||314400594985

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

: gw004/L4700018713156

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

: usikkatu

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

: Germany007.08:L-49:252881000770

OPAC
帝京大学宇都宮キャンパス図書館

: gw999||LE||25210011833

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

: gw549.98||L49||2522218702613

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

Germany39:L:1.2522012073488

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

: gw007.64/B51v1199850928

OPAC
東京理科大学野田図書館野図

: us418.608||L 49||25260185363

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

Germany03870003331

OPAC
富山大学附属図書館図

007.6||B55||Vd00152824

OPAC
名古屋工業大学図書館

: gw549.92||V 49

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

007.63||B40938754

OPAC
名古屋大学情報基盤センター図書室情基セ

: gw50028418

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

: gwAB||23||2520017659

OPAC
一橋大学附属図書館図

: gwSAe:55:252128742129-

OPAC
弘前大学附属図書館本館

: gw007||L49||25205501668

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

: gw007.08LE2520000398268

OPAC
福岡大学図書館

: Germany10722314

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

: gwLN /LNCS/2526920907

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

dc19:001.6/L4978270000752

OPAC
三重大学附属図書館

: gw549.9/L 49/25229442601

OPAC
明治大学図書館生

: Germany418.6||11-252||||K28716998

OPAC
立教大学図書館

: gw87-32483

OPAC
和歌山大学教育機構学術情報センター図書館

: gw219890049167

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

この図書・雑誌をさがす

注記

Includes bibliographies

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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