数量xiii, 464 p. : ill. ; 24 cm.
並列タイトル等European joint conferences on theory and practice of software 2011
一般注記An abstract and papers.
"ARCoSS" -- cover.
"ETAPS 2011 was the 14th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...) " -- foreword.
"This year it comprised the usual five sister conferences (CC, ESOP, FASE, FOSSACS, TACAS) , (...) and seven invited lectures (...) " -- foreword.
書誌注記Includes bibliographical references and author index.