关注微信公众号查券更方便
海外直订The Pillars of Computation Theory: State, Encoding, Nondeterminism 计算理论的支柱：状态、编码、不确定性
海外直订Nondeterminism in Algebraic Specifications and Algebraic Programs 代数规范与代数程序中的不确定性
海外直订Comparative Metric Semantics of Programming Languages: Nondeterminism and Recurs 编程语言的比较度量语义：不
海外直订Detecting Nondeterminism in Shared Memory Parallel Programs 共享内存并行程序中的不确定性检测
【3-4周达】Nondeterminism in Algebraic Specifications and Algebraic Programs [9781468468366]
预订 Nondeterminism and Language Design in Deep Inference [9783659134753]
【3-4周达】The Pillars of Computation Theory : State, Encoding, Nondeterminism [9780387096384]
【3-4周达】Stochastic Automata: Stability, Nondeterminism and Prediction [9783540108351]
【3-4周达】Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion [9781461286806]
【3-4周达】精装 Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion [9780817639273]
