检索条件： Aichernig, Bernhard K., ( 著者 )
责任者 Aichernig, Bernhard K.,,Maibaum, Thomas S. E.,
出版信息 Springer, ,c2003.
ISBN 3-540-20527-6
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers /
Aichernig, Bernhard K.,,Maibaum, Thomas S. E.,.Springer,,c2003..
加入成功
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
确定预约