数量xv, 470 p. : ill. ; 24 cm.
並列タイトル等European joint conferences on theory and practice of software 2009
一般注記Selected papers and an abstract.
"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 "The present volume contains the proceedings of (...) (FOSSACS) 2009, held in York, UK, March 22-25, 2009." -- pref.
書誌注記Includes bibliographical references and author index.