close
1.

電子ブック
ＥＢ
1. CONCUR 2011 – Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
2.

図書
図書
2. Principles of model checking
Christel Baier, Joost-Pieter Katoen
出版情報: Cambridge, Mass. : MIT Press, [2008]
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Model-Based Testing of Reactive Systems : Advanced Lectures
edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3472
オンライン: http://dx.doi.org/10.1007/b137241
所蔵情報: loading…
4.

図書
図書
4. Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…