Author: John H. Reif
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 844
Book Description
Proceedings of the 34th Annual ACM Symposium on the Theory of Computing
Author: John H. Reif
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 844
Book Description
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 844
Book Description
Proceedings of the 34th Annual ACM Symposium on the Theory of Computing
Author:
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 0
Book Description
Proceedings of the ...ACM Symposium on Theory of Computing
Author:
Publisher:
ISBN:
Category : Formal languages
Languages : en
Pages : 748
Book Description
Publisher:
ISBN:
Category : Formal languages
Languages : en
Pages : 748
Book Description
Proceedings of the Annual ACM Symposium on Theory of Computing
Author:
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages :
Book Description
Proceedings of the Thirty-ninth Annual ACM Symposium on Theory of Computing
Author: ACM Special Interest Group for Algorithms and Computation Theory
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 740
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 740
Book Description
Mathematical Theory of Computation
Author: Zohar Manna
Publisher: Courier Dover Publications
ISBN: 9780486432380
Category : Computers
Languages : en
Pages : 0
Book Description
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems.
Publisher: Courier Dover Publications
ISBN: 9780486432380
Category : Computers
Languages : en
Pages : 0
Book Description
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems.
Proceedings of the 36th Annual ACM Symposium on the Theory of Computing
Author:
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 668
Book Description
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 668
Book Description
Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author: Symposium on Theory of Computing
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures
Author: Kunal Agrawal
Publisher:
ISBN:
Category : Computer algorithms
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Computer algorithms
Languages : en
Pages : 0
Book Description
Proceedings of the Thirty-eighth Annual ACM Symposium on Theory of Computing
Author: ACM Special Interest Group for Algorithms and Computation Theory
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 790
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 790
Book Description