| 书目名称 | Formal Methods in Programming and Their Applications |
| 副标题 | International Confer |
| 编辑 | Dines Bjørner,Manfred Broy,Igor V. Pottosin |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthefirst forum organized by the Institute which wasentirely dedicated toformal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. |
| 出版日期 | Conference proceedings 1993 |
| 关键词 | Formale Methoden; Programmieren; Programmlogik; Programmsemantik; Programmspezifikation; algorithms; commu |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0039695 |
| isbn_softcover | 978-3-540-57316-6 |
| isbn_ebook | 978-3-540-48056-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
发表于 2025-3-21 16:24:31
