数量xii, 280 p. : ill. ; 24 cm.
並列タイトル等European joint conferences on theory and practice of software 2009
一般注記An abstract and papers.
"ETAPS 2009 was the 12th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...) " -- foreword.
"This year it comprised five conferences (CC, ESOP, FASE, FOSSACS, TACAS) , 22 satellite workshops (...) , four tutorials, and seven invited lectures (...) " -- foreword.
Described as " (...) at CC 2009, (...) held on March 23-24 in York, UK (...) " -- pref.
書誌注記Includes bibliographical references and author index.