Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers

作者：edited by Sarfraz Khurshid, Koushik Sen.
出版社：Springer Berlin Heidelberg
ISBN：9783642298608 (electronic bk.) ; 9783642298592 (paper)
出版日期：2012
其他作者：Khurshid, Sarfraz. ; Sen, Koushik.
語言：eng
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者