Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

関連文献: 1件

著者

書誌事項

Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)

（Lecture notes in computer science, 680）

Springer-Verlag, c1993

: us
: gw

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

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

: us007||L||68000021087

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

: gw549.08-1-6802293019960

OPAC
追手門学院大学附属図書館図

: us00314773

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

: gw007.64||P89614404

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

: gw548//L49//575211700557520

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

: gw549.9/LEC02684744

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

: us12600028661

OPAC
岡山大学附属図書館自知能

: gw007.6||PH019000038553*

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

: gw007.6||L||68012019022

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

: gw510.78:265:6800001162700

OPAC
九州大学理系図書館

: gw408/L 49061232004011055

OPAC
京都産業大学図書館

: gw418.6695276

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

L/N||LNCS||68093039566

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

: gw549.92-L49-68010334421

OPAC
岐阜大学図書館

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

: us007||L49||680000181263, : gw007||L49||68000018126

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

: us007.08||Le||680000019431

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

: gw430||LEC-1||680B9906957

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

: usW1/004/LecC931269826

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

: gw007.6||L 49||68099544280

OPAC
滋賀大学附属図書館

: gw001.6||L 49||680093005414

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

: gw007/L49/6800093089910

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

: gw007.63||L471||68009603184

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

: gwZ32580

OPAC
上智大学図書館中央

QA:76.76:D47:P766:1993001286094

OPAC
拓殖大学八王子図書館

: gw007.64|| ||355300594692

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

: us093116542

OPAC
中央学院大学図書館

: usE0548206

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

004/L4700015051386

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

: gw007.08-L49-680//007.63937020598

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

: gw007.08:L-49:680931004580

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

: gw549.98||L49||6802219305845

OPAC
東海大学付属図書館12

: gw549.92/L/68001809448

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

Z00436116164744

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

: gw39:L:1.6802012471732

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

: gw007.64/H81p1199850730

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

: gw06000008203

OPAC
徳島文理大学香川キャンパス附属図書館香図

: gw007.08/Le/6806060013

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

00048560

OPAC
名古屋工業大学図書館

549.92||P 9493202236

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

: gw007.08||L41091812

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

: gw007.08||L||680||閉架50082651

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

: gwAB||23||6800013364

OPAC
日本大学工学部図書館図

: gw007.64||P 94 HE9401515

OPAC
一橋大学附属図書館図

: gw129305848/

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

: gw007h0119153*

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

: gw007.08LE6800000464147

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

: gw007.6:P-94/HL4010004000402164

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

: gw007.6:P-94/HL6061006000403745

OPAC
福岡大学図書館

: gw10953018

OPAC
法政大学図書館多図

: gw007/L49/68010602020143331, 007/L49/68010602020143331

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

: usLN /LNCS/6805930309

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

: gw004/l497/6808270010220

OPAC
三重大学附属図書館

: gw549.9/L 49/68069306541

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

001.6:L:6801100525912

OPAC
明治大学図書館生

418.6||11-680||||K29306607

OPAC
立教大学図書館

: gw93-35333

OPAC
琉球大学附属図書館

: gw007||LE||68094850031

OPAC
龍谷大学瀬田図書館図

: us39300077438

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

: gw219950005431

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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