VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

関連文献: 1件

著者

書誌事項

D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)

（Lecture notes in computer science, 428）

Springer-Verlag, c1990

: gw
: us

タイトル別名: VDM ninety

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

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

: gw007.63||V49||199090002147

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

: us00700017517

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

gw549.08||1|| 4282290001003

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

: gw549.9/LEC02184133

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

: gw09022016878, : us09025008054

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

: us09025008054

OPAC
岡山大学図書館工情報

: gw007.6||VS016000048579*

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

: gw510.78:265:4280000360446

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

: gw549.9||L-5||4280430022

OPAC
九州大学理系図書館

: gw408/L 49061232004008555

OPAC
京都産業大学図書館

: GermanyS/418.6||VDM574799

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

L/N||LNCS||42890006904

OPAC
岐阜大学図書館

OPAC
倉敷芸術科学大学図書館

: gw150006157

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

: us007||L49||42800017699

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

: gw430||LEC-1||428B9906746

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

: gwW1/004/LecC900657726

OPAC
滋賀大学附属図書館

: gw001.6||L 49||428090000998

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

: gw007/L49/4280090039280

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

: gw007.63||B626||42809106861

OPAC
島根大学附属図書館

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

: gwZ26806

OPAC
信州大学附属図書館工学部図書館

: gw007.63:V 490450530845

OPAC
上智大学図書館中央

QA:76.76:D47:V36:1990000063876

OPAC
鈴鹿医療科学大学附属図書館

: gw007.61||I579023033

OPAC
摂南大学図書館本館

: gw549.92||L||42829004558

OPAC
拓殖大学八王子図書館

: gw007.63||1990||314400594253

OPAC
千葉大学附属図書館理数学

: gwH0004905*

OPAC
中央学院大学図書館

: gw007.63-V393E0049201

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

: us004/L4700018694299

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

: usikkatu

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

: gw007.08:L-49:428901000450

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

: gw39:L:1.4282012288250

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

: gw007.63/B51v1199850348

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

: gw418.608||L 49||42860205181

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

: gw03920010963

OPAC
富山大学附属図書館図

: U.S.007.6||Vd||321005417

OPAC
豊田工業大学総合情報センター

00046651

OPAC
名古屋工業大学図書館

90200483

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

: gw007.63||V50045384

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

50044247

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

: gw007.08||L||428||閉架50081209

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

: usAB||23||4280012493

OPAC
一橋大学附属図書館図

: gwSAe:55:4281287408771

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

gw007||L49h067404*

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

: gw007.08LE4280001168297

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

: gw150310

OPAC
福岡大学図書館

: gw10845042

OPAC
法政大学図書館多図

: gw007/L49/42810602020141622, 007/L49/42810602020141622

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

: gwLN /LNCS/4286921143

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

: gw001.6/L497/4288270005677

OPAC
三重大学附属図書館

: gw549.9/L 49/42829442691

OPAC
明治大学図書館生

: Germany418.6||11-428||||K29001630

OPAC
立教大学図書館

: gw90-32127

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

: gw219920001369

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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