| 書目名稱 | Foundations of Software Science and Computation Structures |
| 副標(biāo)題 | First International |
| 編輯 | Maurice Nivat |
| 視頻video | http://file.papertrans.cn/348/347149/347149.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS‘98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS‘98, in Lisbon, Portugal, in March/April 1998..The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. |
| 出版日期 | Conference proceedings 1998 |
| 關(guān)鍵詞 | Analysis; Automat; automata; automata theory; formal language; formal specification; semantics; term rewrit |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0053537 |
| isbn_softcover | 978-3-540-64300-5 |
| isbn_ebook | 978-3-540-69720-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1998 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 15:06
發(fā)表于 2025-3-21 18:44:20
