عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 N38 2003eb
QA76
.
9
.
A96
N38
2003eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1423797558
(Number (ISBN
1601294840
(Number (ISBN
1607501805
(Number (ISBN
9781423797555
(Number (ISBN
9781601294845
(Number (ISBN
9781607501800
Erroneous ISBN
1586036254
Erroneous ISBN
9781586036256
NATIONAL BIBLIOGRAPHY NUMBER
Number
b762929
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof technology and computation /
General Material Designation
[Book]
First Statement of Responsibility
edited by Helmut Schwichtenberg and Katharina Spies.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Washington, DC :
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
©2006.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
SERIES
Series Title
NATO science series. Series III, Computer and systems sciences,
Volume Designation
v. 200
ISSN of Series
1387-6694 ;
GENERAL NOTES
Text of Note
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--Title page verso.
Text of Note
"Published in cooperation with NATO Public Diplomacy Division."
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Title page; Preface; Contents; Information-Intensive Proof Technology; Introduction to Proof Theory; The Abstraction-Refinement Framework in Model Checking; Verification: Industrial Applications; Selected Topics on Computability, Complexity, and Termination; Jinja: Towards a Comprehensive Formal Semantics for a Java-like Language; The Formulae-as-Classes Interpretation of Constructive Set Theory; Constructive Analysis with Witnesses; Predicates as Types; Automata- and Logic-Based Systems Design; Recursions and Proofs; Author Index.
0
SUMMARY OR ABSTRACT
Text of Note
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
IOS Press
Stock Number
978-1-58603-625-6
OTHER EDITION IN ANOTHER MEDIUM
Title
Proof technology and computation.
International Standard Book Number
9781586036256
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses.
Computer programming, Congresses.
Computer software-- Development, Congresses.
Automatic theorem proving.
Computer programming.
Computer software-- Development.
COMPUTERS-- Expert Systems.
(SUBJECT CATEGORY (Provisional
COM-- 025000
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3/33
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
N38
2003eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Schwichtenberg, Helmut,1942-
Spies, Katharina.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
NATO Advanced Study Institute on Proof Technology and Computation(2003 :, Marktoberdorf, Germany)
ORIGINATING SOURCE
Date of Transaction
20201204222852.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
