The Complete Reference Checking Handbook
ISBN:9780814407448"The original edition of "The Complete Reference Checking Handbook" provided managers, small compan...
The Complete Reference Checking Handbook
Reference Checking for Everyone
ISBN:9780071423670在线阅读本书 Everyone's guide to protecting yourself from dishonest people, by the nation's m...
Reference Checking for Everyone
Model Checking Software
ISBN:9783540434771在线阅读本书 This book constitutes the refereed proceedings of the 9th International SPIN Wo...
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)
ISBN:9783540421245在线阅读本书 This book constitutes the refereed proceedings of the 8th International SPIN Wo...
Model Checking Software 8 th International SPIN Workshop Toronto Canada May 19 20 2001 Proceedings Lecture Notes in Computer Science
Model Checking Software
ISBN:9783540281955...
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
ISBN:9783540242970...
Verification Model Checking and Abstract Interpretation 验证 模型 检验 与 抽象 解释 会议 录
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
ISBN:9783540311393...
Verification Model Checking and Abstract Interpretation 7 th International Conference VMCAI 2006 Charleston SC USA January 8 10 2006 Proceedings
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
ISBN:9783540436317...
验证 模型 检验 与 抽象 解读 Verification model checking and abstract interpretatio
Just Checking
ISBN:9780671024383Emily Colas, a young, intelligent, well-educated wife and mother of two had a secret that was getti...
Checking on Banks
ISBN:9780815749233Eager to make government work better, cost less, and be more accountable, reformers are embracing a...
Checking Your Grammar
ISBN:9780590494557A practical guide to grammar and usage, covering such topics as parts of speech, punctuation, capit...
Overcoming Compulsive Checking
ISBN:9781572243781If you struggle with compulsive checking, one of the most common types of obsessive-compulsive diso...
Overcoming Compulsive Checking
Principles of Model Checking
ISBN:9780262026499Our growing dependence on increasingly complex computer and software systems necessitates the devel...
Checking C Programs with Lint (Nutshell Handbooks)
ISBN:9780937175309The lint program checker has proven time and again to be one of the best tools for finding portabil...
Checking C Programs with Lint Nutshell Handbooks
Checking on the Moon
ISBN:9780531059609While spending the summer helping her grandmother run a small restaurant in a decaying and dangerou...
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
ISBN:9780387341552This book summarizes recent research on abstraction techniques for model checking large digital sys...
Abstraction Refinement for Large Scale Model Checking Series on Integrated Circuits and Systems
Model Checking and Artificial Intelligence
ISBN:9783540741275...
Model Checking and Artificial Intelligence
25 Years of Model Checking
ISBN:9783540698494...
Self-checking and Fault-tolerant Digital Design
ISBN:9780124343702With VLSI chip transistors getting smaller and smaller, today's digital systems are more complex th...
Self checking and Fault tolerant Digital Design
Model Checking Software
ISBN:9783540851134This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Che...
Verification, Model Checking, and Abstract Interpretation
ISBN:9783540938996The book constitutes the refereed proceedings of the 10th International Conference on Verification,...
Verification Model Checking and Abstract Interpretation
Checking Your Grammar
ISBN:9781435265622...
Checking for Understanding
ISBN:9781416605690...
Model Checking and Artificial Intelligence
ISBN:9783642004308This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mode...
Model Checking and Artificial Intelligence
New Methods of Concurrent Checking
ISBN:9781402084195...
New Methods of Concurrent Checking
Symbolic Model Checking
ISBN:9780792393801...
Model Checking
ISBN:9780262032704Model checking领域的权威书籍 ...
SPIN Model Checking and Software Verification
ISBN:9783540410300This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, h...
SPIN Model Checking and Software Verification