عنوان

Program verification :

شابک

9401117934

شابک

9789401117937

شماره

b595733

عنوان اصلي

Program verification :

نام عام مواد

[Book]

ساير اطلاعات عنواني

fundamental issues in computer science.

محل نشرو پخش و غیره

[Place of publication not identified]

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

2013

متن يادداشت

Series Preface. Prologue Computer Science and Philosophy; T.R. Colburn. Part I: The Mathematical Paradigm. Towards a Mathematical Science of Computation; J. McCarthy. Proof of Algorithms by General Snapshots; P. Naur. Assigning Meanings to Programs; R.W. Floyd. An Axiomatic Basis for Computer Programming; C.A.R. Hoare. Part II: Elaborating the Paradigm. First Steps towards Inferential Programming; W.L. Sherlis, D.S. Scott. Mathematics of Programming; C.A.R. Hoare. On Formalism in Specifications; B. Meyer. Formalization in Program Development; P. Naur. Part III: Challenges, Limits, and Alternatives. Formalism and Prototyping in the Software Process; B.I. Blum. Outline of a Paradigm Change in Software Engineering; C. Floyd. The Place of Strictly Defined Notation in Human Insight; P. Naur. Limits of Correctness in Computers; B.C. Smith. Part IV: Focus on Formal Verification. Social Processes and Proofs of Theorems and Programs; R.A. Demillok, R.J. Lipton, A.J. Perlis. Program Verification: The Very Idea; J.H. Fetzer. The Notion of Proof in Hardware Verification; A. Cohn. Program Verification, Deafeasible Reasoning, and Two Views of Computer Science; T.R. Colburn. Epilogue. Philosophical Aspects of Program Verification; J.H. Fetzer. Selected Bibliography. Index of Names. Index of Subjects.

شماره رده

نشانه اثر

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y