| 书目名称 | Foundations of Software Science and Computation Structures | | 副标题 | First International | | 编辑 | Maurice Nivat | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 18:44:20
