1.

図書
図書
1. Correct system design : recent insights and advances
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1710
所蔵情報: 図書館
2.

図書
図書
2. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: 図書館
3.

電子ブック
ＥＢ
3. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: http://dx.doi.org/10.1007/3-540-61042-1