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

Author：edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.
Publisher：Springer-Verlag GmbH.
ISBN：9783540317142 (electronic bk.) ; 9783540278825 (paper)
Publication Date：2005
其他作者：Fitzgerald, John. ; Hayes, Ian J. ; Tarlecki, Andrzej.
語言：zh
出版地：Berlin Heidelberg :
Description

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

Search Same Author