关注微信公众号查券更方便
【3-4周达】A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory... [9783866448858]