| 书目名称 | Recent Trends in Algebraic Development Techniques |
| 副标题 | 23rd IFIP WG 1.3 Int |
| 编辑 | Phillip James,Markus Roggenbach |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK..The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations of algebraic specification; other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance, validation, and verification areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; andmultimedia applications and services.. |
| 出版日期 | Conference proceedings 2017 |
| 关键词 | Artificial intelligence; Computer programming; Distributed computing models; Equational logic and rewri |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-72044-9 |
| isbn_softcover | 978-3-319-72043-2 |
| isbn_ebook | 978-3-319-72044-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | IFIP International Federation for Information Processing 2017 |
发表于 2025-3-21 16:15:11
