Specifying Systems 在线电子书 图书标签: 分布式  计算机科学  计算机  Leslie_Lamport  计算机及软件  形式化验证  编程语言理论  concurrency   

喜欢 Specifying Systems 在线电子书 的读者还喜欢

• 
  Programming Concurrency on the JVM 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Essentials of Programming Languages, 3rd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Understanding Computation 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Distributed Systems 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Lambda-Calculus and Combinators 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Annotated Turing 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  支撑处理器的技术 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Is Parallel Programming Hard, And, If So, What Can You Do About It? 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  High Performance Python 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Stream Processing with Apache Flink: Fundamentals, Implementation, and Operation of Streaming Applic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

很短的一本书，但密度很高。用first order logic加一点temporal logic把safety跟liveness里所有的重要问题都讲到了，甚至还有realtime的验证。里面关键的几章都可以单独拿出来成书，但Lamport深入浅出的功力太深，小几十页就能把问题说完。Lamport口口声声说看到83页即可，但还是推荐把全书看完。此书可以读多遍而不觉厌烦。5星中的5星。

很短的一本书，但密度很高。用first order logic加一点temporal logic把safety跟liveness里所有的重要问题都讲到了，甚至还有realtime的验证。里面关键的几章都可以单独拿出来成书，但Lamport深入浅出的功力太深，小几十页就能把问题说完。Lamport口口声声说看到83页即可，但还是推荐把全书看完。此书可以读多遍而不觉厌烦。5星中的5星。

很短的一本书，但密度很高。用first order logic加一点temporal logic把safety跟liveness里所有的重要问题都讲到了，甚至还有realtime的验证。里面关键的几章都可以单独拿出来成书，但Lamport深入浅出的功力太深，小几十页就能把问题说完。Lamport口口声声说看到83页即可，但还是推荐把全书看完。此书可以读多遍而不觉厌烦。5星中的5星。

很短的一本书，但密度很高。用first order logic加一点temporal logic把safety跟liveness里所有的重要问题都讲到了，甚至还有realtime的验证。里面关键的几章都可以单独拿出来成书，但Lamport深入浅出的功力太深，小几十页就能把问题说完。Lamport口口声声说看到83页即可，但还是推荐把全书看完。此书可以读多遍而不觉厌烦。5星中的5星。

很短的一本书，但密度很高。用first order logic加一点temporal logic把safety跟liveness里所有的重要问题都讲到了，甚至还有realtime的验证。里面关键的几章都可以单独拿出来成书，但Lamport深入浅出的功力太深，小几十页就能把问题说完。Lamport口口声声说看到83页即可，但还是推荐把全书看完。此书可以读多遍而不觉厌烦。5星中的5星。