Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

作者：edited by Darren Cofer, Alessandro Fantechi.
出版社：Springer Berlin Heidelberg
ISBN：9783642032400 (electronic bk.) ; 9783642032394 (paper)
出版日期：2009
其他作者：Cofer, Darren. ; Fantechi, Alessandro.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

x, 231 p. ::ill., digital ;:24 cm.

搜尋同作者