| 书目名称 | Theoretical Aspects of Computer Software | | 副标题 | Third International | | 编辑 | Martín Abadi,Takayasu Ito | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS‘97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc. | | 出版日期 | Conference proceedings 1997 | | 关键词 | action calculi; calculus; lambda calculus; logic; model checking; object; polymorphism; program refinement; | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0014544 | | isbn_softcover | 978-3-540-63388-4 | | isbn_ebook | 978-3-540-69530-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1997 |
The information of publication is updating
|
|
发表于 2025-3-21 17:15:59
