Decision Procedures Decision Procedures
Texts in Theoretical Computer Science An EATCS Series

Decision Procedures

An Algorithmic Point of View

Daniel Kroening و Ofer Strichman
    • ‏54٫99 US$
    • ‏54٫99 US$

وصف الناشر

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٠٨
٢٩ أبريل
اللغة
EN
الإنجليزية
عدد الصفحات
٣٢٢
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
١٠٫١
‫م.ب.‬

المزيد من الكتب المشابهة

Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
٢٠٠٧
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠٠٨
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
٢٠١١
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٠٨
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٠
Theory and Application of Satisfiability Testing Theory and Application of Satisfiability Testing
Theory and Application of Satisfiability Testing
٢٠١١

المزيد من كتب Daniel Kroening & Ofer Strichman

Model Checking, second edition Model Checking, second edition
Model Checking, second edition
٢٠١٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٥
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٥
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
٢٠١٥
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
٢٠١٤
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
٢٠١١

كتب أخرى بهذه السلسلة

Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
٢٠٠٦
Abstract Computing Machines Abstract Computing Machines
Abstract Computing Machines
٢٠٠٦
A Practical Theory of Reactive Systems A Practical Theory of Reactive Systems
A Practical Theory of Reactive Systems
٢٠٠٦
Complexity Theory and Cryptology Complexity Theory and Cryptology
Complexity Theory and Cryptology
٢٠٠٦
Software Engineering 1 Software Engineering 1
Software Engineering 1
٢٠٠٧
Design and Analysis of Randomized Algorithms Design and Analysis of Randomized Algorithms
Design and Analysis of Randomized Algorithms
٢٠٠٦