Andreas Lochbihler 的机器检查、类型安全的 Java 并发模型 电子书下载

原名:A machine-checked, type-safe model of Java concurrency by Andreas Lochbihler
作品简介:JinjaThreads 构建并重用 Java 形式化 Jinja、Bali、Thread.sleep，因为 JinjaThreads 不建模时间； (iii) 低水平……