| 書目名稱 | Formal Methods in Programming and Their Applications |
| 副標題 | International Confer |
| 編輯 | Dines Bj?rner,Manfred Broy,Igor V. Pottosin |
| 視頻video | http://file.papertrans.cn/346/345836/345836.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 20:05
發(fā)表于 2025-3-21 16:24:31
