检索条件: ETAPS 2002 ( 著者 )
责任者 Nielsen, M.,Engberg, Uffe,
出版信息 Springer, ,2002.
ISBN 3-540-43366-X (softcover : alk. paper)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Honsell, Furio,Miculan, Mariao
出版信息 Springer, ,2002.
ISBN 3-540-41864-4 (softcover : alk. paper)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Weber, Herbert,,Kutsche,Ralf-Detlef,
出版信息 Springer, ,c2002.
ISBN 3-540-43353-8 (softcover : alk. paper)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
加入成功
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您
确定预约