FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

作者：edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.
出版社：Springer-Verlag GmbH.
ISBN：9783540317142 (electronic bk.) ; 9783540278825 (paper)
出版日期：2005
其他作者：Fitzgerald, John. ; Hayes, Ian J. ; Tarlecki, Andrzej.
語言：zh
出版地：Berlin Heidelberg :
內容簡介

xiv, 558 p. ::ill., digital ;:24 cm.

搜尋同作者