中古あり ￥11,907より
(2025/10/13 10:04:10時点)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2007-08-17)
ペーパーバック: 292 ページ / 15.5 x 1.7 x 23.5 cm
ISBN-10: 3540731466 ISBN-13: 9783540731467