关注微信公众号查券更方便
【预订】Operational Semantics and Verificati...
【预订】Design, Specification and Verificati...
海外直订Verification and Evaluation of Computer and Communication Systems: 16th Internat Verificati
海外直订The Calculus of Computation: Decision Procedures with Applications to Verificati 计算演算：应用于验证的决策程序
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
海外直订The Calculus of Computation: Decision Procedures with Applications to Verificati 计算的演算:应用于验证的决
【4周达】Hardware Description Languages and their Applications : Specification, modelling, verificati... [9780412788109]
【4周达】Hardware Description Languages and their Applications : Specification, modelling, verificati... [9781475753875]
海外直订Formal Description Techniques and Protocol Specification, Testing and Verificati
