1.

図書
図書
1. Abstract state machines : a method for high-level system design and analysis
Egon Börger, Robert Stärk
出版情報: Berlin ; Tokyo : Springer, c2003
所蔵情報: loading…
2.

図書
図書
2. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2183
所蔵情報: loading…