ISBN9783642119699 (ISBN-13 : pbk.)
3642119697 (pbk.)
数量xii, 323 p. : ill. ; 24 cm.
並列タイトル等European joint conferences on theory and practice of software 2010
一般注記Papers.
"ARCoSS" -- cover.
"ETAPS 2010 was the 13th 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.
Described as " (...) (CC 2010) which was held during March 25-26 in Paphos, Cyprus, (...) " -- pref.
書誌注記Includes bibliographical references and author index.