CiNii 図書 - Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings

著者

- SPIN
- Graf, Susanne
- Mounier, Laurent

書誌事項

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings

Susanne Graf, Laurent Mounier (eds.)

（Lecture notes in computer science, 2989）

Springer, c2004

pbk.

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

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

pbk.QA76.76.V47I58 2004F0056144

OPAC
愛媛大学図書館研

pbk.007.6||SP||110312004087146

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

pbk.510.78:265:29890028362796

OPAC
九州大学理系図書館

pbk.408/L 49061212004000403

OPAC
九州産業大学図書館

pbk.10744304

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

pbk.L/N||LNCS||298904000481

OPAC
京都大学理学部数学

pbk.Ser.||G 81||298904023081

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

pbk.007.08||Le||2989000056918

OPAC
産業能率大学図書館

||C08||L 49411659959

OPAC
専修大学図書館図

pbk.20509268

OPAC
千葉大学附属図書館研

pbk.548.92000401011

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

pbk.007.08-L49-298910004003462

OPAC
東海大学付属図書館12

pbk.549.92||L||298902172282

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

pbk.418.6/L/2989117039560

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

39:L:1.29892310063462

OPAC
東京情報大学情報サービスセンター図

pbk.007||Leni||298900082217

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

pbk.06040007521

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

pbk.007.1||In41363832

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

pbk.AB||23||29891003151

OPAC
一橋大学附属図書館図

pbk.*5080**1**2989120400187N

OPAC
広島修道大学図書館

pbk.1

OPAC
松山大学図書館

pbk.007.08||L 5||2989250556504

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

この図書・雑誌をさがす

注記

Internat. conference proceedings

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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