ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system – velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these – tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9783540247272 ● 编辑 Igor Walukiewicz ● 出版者 Springer Berlin Heidelberg ● 发布时间 2004 ● 下载 3 时 ● 货币 EUR ● ID 6315815 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器