1.

図書
図書
1. Modelling distributed systems
Wan Fokkink
出版情報: Berlin : Springer, c2007
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: 図書館
2.

図書
図書
2. Modeling and Simulation in Scilab/Scicos
Stephen L. Campbell, Jean-Philippe Chancelier, Ramine Nikoukhah
出版情報: New York, NY : Springer, c2006
所蔵情報: 図書館
3.

図書
図書
3. Systems and software verification : model-checking techniques and tools
B. Bérard ...(et al.)
出版情報: Berlin ; New York : Springer, c2001
所蔵情報: 図書館