Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

作者：edited by Bernhard Beckert, Claude Marche.
出版社：Springer Berlin Heidelberg
ISBN：9783642180705 (electronic bk.) ; 9783642180699 (paper)
出版日期：2011
其他作者：Beckert, Bernhard. ; Marche, Claude.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者