ISBN9783540787426 (ISBN-13 : softcover : alk. paper)
3540787429 (softcover : alk. paper)
数量xiii, 430 p. : ill. ; 24 cm.
並列タイトル等European joint conferences on theory and practice of software 2008
一般注記Papers.
"ETAPS 2008 was the 11th 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 (...) nine tutorials, and seven invited lectures (...) " -- foreword.
書誌注記Includes bibliographical references and author index.