CiNii 図書 - Module specifications and constraints

著者

書誌事項

Module specifications and constraints

（EATCS monographs on theoretical computer science, v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2）

Springer-Verlag, c1990

: us
: gw

タイトル別名: Algebraic specification

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

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

: usQA76.9.D35E37 1985

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

: gw549.92/EAT02155992

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

: gw09026004235

OPAC
岡山大学図書館学部

: us007.6/E016000091749

OPAC
岡山大学図書館附属図

: us007.6/E016000091749

OPAC
関西大学図書館図

: us205280994

OPAC
九州大学理系図書館

007.1/E 36068252190009388

OPAC
京都産業大学図書館

: gw418.6631283, 645695

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

EHR||4||2-289082414

OPAC
京都大学大学院情報学研究科

: gwI,1990||2.3||11890046982

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

: gw007.64-E36-210347439

OPAC
岐阜大学図書館

549.92||Eat120535823

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

: gw007.1/74/28189042602

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

: gwikkatu

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

: gw549.98||E36||22219100307

OPAC
東海大学付属図書館12

: gw549.936/E/201376668

OPAC
東京科学大学すずかけ台図書館

: gw007.1/E215716465

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

:gw25:E:4.22012263709

OPAC
東京農工大学小金井図書館

: us54860279525

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

: gw06000005573

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

: gw06000005573

OPAC
富山県立大学附属図書館射水館

: gw101115723

OPAC
名古屋工業大学図書館

: gw412||E 36||2

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

007.1||Eh41001145

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

40993480

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

: gwAB||22||210010995

OPAC
新潟大学附属図書館図

: gw007//E361300641951

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

: gw418.6||E 36||214224886

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

: gw007||E11||2105681633

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

: usC22.1||E11 || 216921114

OPAC
横浜国立大学附属図書館理工

:gw007.1//EHH0301254*

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

この図書・雑誌をさがす

注記

Bibliography: p. [403]-421

Includes index

Module specifications and constraints

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Module specifications and constraints

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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