Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings
Mogensen, Torben Ægidius, Mikulski, Lukasz
- 出版商: Springer
- 出版日期: 2024-06-06
- 售價: $2,620
- 貴賓價: 9.5 折 $2,489
- 語言: 英文
- 頁數: 247
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031620755
- ISBN-13: 9783031620751
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4-5, 2024.
The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
商品描述(中文翻譯)
本書為第16屆可逆計算國際會議（RC 2024）的經過審稿的會議論文集，會議於2024年7月4日至5日在波蘭的托倫舉行。
本書收錄了10篇完整論文和3篇短文，以及兩篇邀請論文，這些論文經過仔細審核和選擇，來自18篇投稿。論文依主題分為以下幾個部分：可逆計算模型；可逆程式設計實驗；可逆與量子程式語言；以及可逆與量子系統的合成、驗證與分析。
