Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

作者：edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.
出版社：Springer-Verlag GmbH.
ISBN：9783540322405 (electronic bk.) ; 9783540304920 (paper)
出版日期：2005
其他作者：Romijn, Judi M.T. ; Smith, Graeme P. ; Pol, Jaco van de.
語言：zh
出版地：Berlin Heidelberg :
內容簡介

xi, 405 p. ::ill., digital ;:24 cm.

搜尋同作者