Formal techniques for distributed systems : Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings

作者：edited by John Hatcliff, Elena Zucca.
出版社：IFIP International Federation for Information Processing
ISBN：9783642134647 (electronic bk.) ; 9783642134630 (paper)
出版日期：2010
其他作者：Hatcliff, John. ; Zucca, Elena.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者