Checking_图书大全

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

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

...

Model Checking Software

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：9780671024383

Emily Colas, a young, intelligent, well-educated wife and mother of two had a secret that was getti...

Just Checking

Checking on Banks

ISBN：9780815749233

Eager to make government work better, cost less, and be more accountable, reformers are embracing a...

Checking on Banks

Checking Your Grammar

ISBN：9780590494557

A practical guide to grammar and usage, covering such topics as parts of speech, punctuation, capit...

Checking Your Grammar

Overcoming Compulsive Checking

ISBN：9781572243781

If you struggle with compulsive checking, one of the most common types of obsessive-compulsive diso...

Overcoming Compulsive Checking

Principles of Model Checking

ISBN：9780262026499

Our growing dependence on increasingly complex computer and software systems necessitates the devel...

Principles of Model Checking

Checking C Programs with Lint (Nutshell Handbooks)

ISBN：9780937175309

The 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：9780531059609

While spending the summer helping her grandmother run a small restaurant in a decaying and dangerou...

Checking on the Moon

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

ISBN：9780387341552

This 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

...

25 Years of Model Checking

Self-checking and Fault-tolerant Digital Design

ISBN：9780124343702

With 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：9783540851134

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Che...

Model Checking Software

Verification, Model Checking, and Abstract Interpretation

ISBN：9783540938996

The book constitutes the refereed proceedings of the 10th International Conference on Verification,...

Verification Model Checking and Abstract Interpretation

Checking Your Grammar

ISBN：9781435265622

...

Checking Your Grammar

Checking for Understanding

ISBN：9781416605690

...

Checking for Understanding

Model Checking and Artificial Intelligence

ISBN：9783642004308

This 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

...

Symbolic Model Checking

Model Checking

ISBN：9780262032704

Model checking领域的权威书籍 ...

Model Checking

SPIN Model Checking and Software Verification

ISBN：9783540410300

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, h...

SPIN Model Checking and Software Verification