Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. : Jul 2002, Dagstuhl, Germany
もっともっと探す
+もっと詳しい情報
出版社: Springer(2002)
ISBN-10: 3540438572 ISBN-13: 9783540438571