良葛格JDK5.0学习笔记 本书是作者良葛格近几年来学习Java的心得笔记,结构按照作者的学习脉络依次展开,帮助读者扎扎实实入门Java。 不过我这里只有前六章的内容其余内容一直没找到希望别的朋友有的可以说一下。
ReactiveSystems Modelling SpecificationandVerification reactivesystem有进程并发理论,CCS系统,互模拟,Hennessy-Milner的理论