| 書目名稱 | Foundations of Software Science and Computation Structures | | 副標(biāo)題 | 7th International Co | | 編輯 | Igor Walukiewicz | | 視頻video | http://file.papertrans.cn/348/347152/347152.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | 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. | | 出版日期 | Conference proceedings 2004 | | 關(guān)鍵詞 | Automat; Bisimulation; automata; lambda calculus; simulation; structured analysis; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/b95995 | | isbn_softcover | 978-3-540-21298-0 | | isbn_ebook | 978-3-540-24727-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2004 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 14:32
發(fā)表于 2025-3-21 17:44:38
