检索条件: Formal methods for distributed processing : ( 题名 )
责任者 Bowman, Howard,,Derrick, John,
出版信息 Cambridge University Press, ,2010
ISBN 9780521168755
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd.
出版信息 Springer, ,c2009.
ISBN 9783642021374 (pbk.)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Bonsangue, Marcello M.,Johnsen, Einar Broch.
出版信息 Springer, ,c2007.
ISBN 978-3-540-72919-8 (pbk.)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Najm, Elie.,Nestmann, Uwe.,Stevens, Perdita.
出版信息 Springer-Verlag, ,c2003.
ISBN 3-540-20491-1
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Barthe, Gilles,,Boer, Frank S. de.
出版信息 Springer, ,c2008.
ISBN 9783540688624 (pbk.)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
责任者 Suzuki, Kenji,
出版信息 Springer, ,c2008.
ISBN 9783540688549 (softcover : alk. paper)
加入成功
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您
确定预约