CiNii 図書 - The temporal logic of reactive and concurrent systems

著者

書誌事項

The temporal logic of reactive and concurrent systems

Zohar Manna, Amir Pnueli

Springer-Verlag, c1992-

[v. 1], Specification : us
[v. 1], Specification : gw

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

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

[v. 1], Specification : usQA76.6.M3564 1991

OPAC
大阪工業大学図書館枚方分館情報

[v. 1], Specification : us80501355

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

[v. 1], Specification : us12600001437

OPAC
九州大学理系図書館

007.64/Ma 45068252192000758

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

[v. 1]MAN||13||694076523

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

[v. 1], Specification : usZF||33692015918

OPAC
岐阜大学図書館

[v. 1], Specification : us549.92||Man120504324

OPAC
国立情報学研究所

[v. 1], Specification : us2012||062110134426

OPAC
埼玉大学図書館情工

[v. 1], Specification : us028002341

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

[v. 1], Specification : us10092300817,10092300818,10092380067,10092380454,10092380455

OPAC
東海大学付属図書館12

[v. 1], Specification : us549.936/M01377737

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

[v. 1], Specification : usY26588116050897

OPAC
東京大学工学部・工学系研究科電気・子

[v. 1] : Specification : us910:2013:D1010369286,1010362182

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

[v. 1], Specification : us06920007693

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

[v. 1] : Specification : us03920001614

OPAC
名古屋工業大学図書館

[v. 1], Specification : us549.92||Ma 452159126

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

[v. 1] : Specification007.64||M41052695

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

[v. 1], Specification : gwBD10||1||0010790

OPAC
新潟大学附属図書館図

[v. 1], Specification : us548.2//Ma451960035488

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

[v. 1], Specification : us0000838016

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

[v. 1] : Specification : us007.64:Ma-45/011096076000400026

OPAC
福井大学附属図書館

[v. 1] : Specification : us007.64||TEM9107824

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

[v. 1], SpecificationC23.1||M5932439

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

[v. 1], SpecificationC23.1||M7090076

OPAC
三重大学附属図書館

[v. 1], Specification : us007.64/Ma 45/[1]69306706

OPAC
立命館大学図書館

[v. 1], Specification : us7310010905

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

The temporal logic of reactive and concurrent systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

詳細情報

書き出し

The temporal logic of reactive and concurrent systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

詳細情報

書き出し

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