网络和分布式系统的形式化技术 – FORTE 2008：第 28 届 IFIP WG 6.1 国际会议，日本东京，2008 年 6 月 10 日至 13 日会议记录 电子书下载

原名:Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
作品简介:本书是第 28 届 IFIP WG 6.1 国际网络和分布式系统形式技术会议 FORTE 2008 的参考论文集，该会议于 2008 年 6 月在日本东京举行，与 TestCom/FATES 2008 同期举行。 19 篇修订后的完整论文和提交了 1 篇修订后的短论文……